Deterministic Finite Automata Visualization


Tanım:

DFA'da girdi değeri sonlu sayıda duruma sahiptir.Her bir durum için makinanın hareket edeceği durum belirlenebilir.
Bir kelimenin doğru olup olmadığına bakmak içinbaşlangıç nodundan yani kelimeninilk harfinden başlanır.
İçinde bulunan noddayken elimizdeki harfhangi noda gidiyorsa o noda varılır.
Aranan kelimenin bir sonraki harfine bakılır ve vardığımız nodda, elimizdeki harf ile hangi noda gittiğine bakılır ve o noda gidilir.
Kelimenin son harfine vardığımızda eğer içinde bulunduğumuz nod sonlu bir nod (sonlu nodlar çift çember ile belirtilir) ise kelime doğrudur.

DFA beşli ifadeden oluşturularak tanımlanır.
M = (Q, Σ , δ , s, F)

Q : durumlar,nodların sonlu kümesidir
Σ : alfabe içindeki harflerden oluşan sonlu bir kümedir
δ : Q x Σ -> Q geçiş fonksiyonudur
s : başlangıç durumudur
F : ulaşması istenilen sonlu nodlar kümesidir.

Reference:

DFA Example for L = (1|0)*00

Input =