Tiloihin ja tilasiirtymiin perustuva yksinkertainen abstrakti kone. Äärellisiä automaatteja voidaan pitää yksinkertaisimpina mekanismeina, joiden avulla voidaan määritellä ei-triviaaleja. Niiden tunnistamat merkkijonojen joukot ovat säännöllisiä kieliä.
Tiloihin ja tilasiirtymiin perustuva yksinkertainen abstrakti kone. Äärellisiä automaatteja voidaan pitää yksinkertaisimpina mekanismeina, joiden avulla voidaan määritellä ei-triviaaleja. Niiden tunnistamat merkkijonojen joukot ovat säännöllisiä kieliä.