Mõiste: lõplik automaat
Ülemmõiste: uurimisobjekt