Sonlu otomata ve sonlu durum makineleri arasındaki fark nedir?

Dijital ardışık devre tasarımlarında FSM kullandım. Ama Sonlu Otomata'yı bilmiyorum. Birisi ikisi arasındaki 'temel' farkı anlamama yardımcı olabilir mi?

terminology automata finite-automata

— gpuguy
kaynak

Gönderen Wikipedia :" ... otomata Teoride, teorik bilgisayar biliminin bir dalı, bir deterministik sonlu durum makinesi (DFA) - ayrıca deterministik sonlu durum makinesi olarak bilinen - kabul eden bir sonlu durum makinesidir / sembollerin sonlu dizeleri reddeder ve yalnızca üretir her giriş dizesi için otomatın benzersiz bir hesaplaması (veya çalışması) ... ". Otomata teorisinde DFA tercih edilen terimdir, pratik uygulamalarda FSM tercih edilen terimdir.

— Mart'ta Vor

Mealy ve Moore otomata da dahil olmak üzere FSM'nin daha kapsayıcı olduğunu düşünüyorum. NFA belirli bir modeldir.

— Raphael

@Raphael: Size katılıyorum, FSM daha geniş görünüyor (wikipedia bile Dönüştürücüler, Alıcılar, Sınıflandırıcılar ve Sıralayıcılar arasında ayrım yapıyor). "DFA" ~ "FSM alıcıları" (sadece evet / hayır çıkışlı FSM) ... ayrıca devre tasarımlarında FSM, genellikle çıkışları kullanır ... Belki yorumunuzu bir cevaba dönüştürebilirsiniz.

— Vor

Şahsen, FSM'yi DFA, NFA, Mealy ve Moore makineleri, (sonlu durum) transdüserleri vb. İçeren geniş bir terim olarak kullanıyorum; sonlu durum uzayına sahip ve yardımcı bellek olmadan her şey.

— Dan

@Raphael Resmi teoride (ya da hesaplama teorisinde) "Automata" kelimesini kullanmayı tercih ediyoruz - makinemizin 'otomatik' makine (kendi kendine hareket eden - bilgisayarınız gibi) - "otomatik" olarak bir kez geçiş kuralları olarak tanımlandınız, dizeleri işlemek / sınıflandırmak için herhangi bir açık akıllı uygulamanıza gerek yoktur (her adımda geçiş kurallarına başvurmanız yeterlidir). - makine terimi, cihaz bağlamında (model yerine) tercih edilir - her ikisi de birbirinin eş anlamlılarıdır.

— Grijesh Chauhan

Yanıtlar:

Anladığım kadarıyla, her ikisinin de bir giriş sinyali üzerine makineyi bir durumdan diğerine hareket ettiren "durumları" ve "eylemleri" vardır. Dolayısıyla kavramsal fikirler aynıdır. Detaylarda bazı farklar var.

Devre tasarımları için FSM'de giriş sinyalinin çoğunlukla bir bit (ikili) olduğu varsayılırken, sonlu durumda otomata, giriş sembollerinin genel bir "soyut" alfabesi olabilir. İkincisi, bir FSM ayrıca ulaşılan durumla ilişkili bir çıktı da üretir. Otomata terminolojisinde bu 'uzantıya' Moore makinesi denir. Bununla birlikte, otomata, uygun bir giriş okumasını gösteren son (veya kabul eden) durumlara sahiptir. Son olarak, FSM çoğunlukla belirleyicidir, yani belirli bir durumdaki her girdi için bir sonraki durum vardır. Otomata teorisinde kişi, nereye taşınacağı konusunda seçim yapabileceği belirsiz olmayan bir değişkeni de göz önünde bulundurur.

— Hendrik Jan
kaynak

Deneyimlerime ve Wikipedia makalesine dayanarak, çeşitli sonlu durum makineleri var ,

Etrafta uçan bazı kavramlar çoğunlukla motivasyon bakımından farklılık gösterir; bazıları dil ve / veya hesaplanabilirlik teorisinden, bazıları bilgisayar mimarisinden doğmuştur.

Ayrıca, tartışmalı olarak hala sonlu durumlu otomata olan otomata almak için çeşitli paradigmaları da değiştirebileceğinizi unutmayın.

Gördüğünüz gibi, TCS 101'de öğretildiği gibi vanilya sonlu otomata, her biri kendi (az ya da çok resmi) tanımına sahip birçok lezzetten ibarettir.

— Raphael
kaynak

Her ikisinin de güvendiği ana fikir aynı olmasına rağmen. Her ikisi de sonlu durumları kullanır ve giriş besleme olarak başka bir duruma atlar. Ancak, Tam toplayıcı veya SR flipflop gibi bir makine olan FSM'nin giriş ve çıkış olarak bitleri vardır. Evet, FSA'nın bit çıkışı vardır, sonlandırılmayan durum için 0 ve sonlandırma durum için 1'dir, ancak soyut bir mekanizmadır ve görülmez. Onları temsil etmek için çizilen digrafilerde fark var. Bunun yanında FSA bir mantıksal ve hesaplama cihazı iken FSM bir dijital mantık cihazıdır.

— Saryan Sandeep
kaynak