Finite Automaton Automaton Isang teoretikal na makinarya na: - pwedeng tanggapin o tanggihan ang isang string na karakter - Magproseso ng string " Pormal na wika Isang grupo ng string na may katapusan, pero kadalasan ay walang katapusan. Automaton na may Katapusan Isang automaton na tumatanggap ng strings sa loob ng isang pormal na wika at walang iba. L = { a, ab, aba, abab, ababa, ... } Impormasyon ay galing sa CMSC 141