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