Teori otomata

Otomata berhingga deterministik (DFA - "Deterministic Finite Automata") adalah sebuah otomata yang fungsi transisinya adalah: