Sonlu durum makinesi: Revizyonlar arasındaki fark

Alıcılar ve tanıyıcılar girdinin makina tarafından kabul edilip edilmediğini belirten evet/hayır (0 veya 1, ikili çıktı) cevaplarından birini verirler. SDM'nın tüm durumlarının kabul eden veya kabul etmeyen olması gerekir. Girdiler işlenirken, mevcut durum kabul eden bir durumsa, girdi kabul edilir; kabul etmeyen bir durumsa girdi red edilirreddedilir. Kural olarak girdiler için karakterler sembol olarak kullanılır, eylemler yoktur.

Makina ayrıca makinanınmakinenin kabul ettiği tüm kelimeleri içeren, makinanınmakinenin redettiğireddettiği tüm kelimeleri içermeyen dil olarak tanımlanabilir. Tanım gereği, SDM'ler tarafından kabul edilen diller [[Düzenli Diller]]'dir, bu ifade ayrıca bir dilin kendisini kabul eden SDM olması durumunda düzenli bir dil olduğunu gösterir (Bkz. [[Kleene Teoremi]]).

;Başlangıç durumu: Başlangıcı gösteren ve "Start" ifadesiyle veya hiçbiryerdenhiçbir yerden gelen bir okla gösterilen durumdur.