section_heading: Formalni modeli računanja
paragraph_text: Kako bi se odgovorilo na središnje pitanje teorije automata, potrebno je na formalni način definirati što je uopće automat. Postoji nekoliko korisnih modela automata. Neki od široko poznatih su: