Teori Singkat: FSA

Finite State Automata adalah model matematika sistem dengan input/output diskrit yang dapat mengenali bahasa reguler.

FSA beroperasi secara deterministik (DFA) atau non-deterministik (NFA), membaca string dari kiri ke kanan. Jika setelah input selesai mesin berada di Final State, maka string dinyatakan Accepted.