K: Mikä on automaatti?

V: Automaatti on matematiikan käsite, joka on kuin abstrakti kone ja jolle voidaan antaa syötettä, joka joko hylätään tai hyväksytään.

K: Mikä on toinen termi automaatille?

V: Joskus käsitettä kutsutaan tilakoneeksi.

K: Voitko verrata automaattia automaattiin?

V: Kyllä, se on kuin myyntiautomaatti, jossa automaattiin on syötettävä kolikoita tai rahaa, ja jos kolikot ovat oikeita, pyydetty esine pudotetaan, jotta se voidaan ottaa pois.

K: Mitä tapahtuu, kun automaatille annetaan syötettä?

V: Automaatti käy läpi kaikki syötteet, kuluttaa yhden esineen kerrallaan, ja sillä on sisäisesti erilaisia tiloja, joissa se voi olla. Syöttö voi muuttaa tai olla muuttamatta sen tilaa.

K: Mitä tapahtuu, kun automaatilla ei ole enää yhtään symbolia jäljellä?

V: Kun symboleja ei ole jäljellä, automaatti on tietyssä tilassa, joka voi olla lopputila. Jos näin on, syöte hyväksytään, muuten syöte hylätään.

K: Mikä on äärellinen tilakone?

V: Jos automaatilla on laskettavissa oleva äärellinen määrä tiloja, sitä kutsutaan äärelliseksi tila-automaatiksi.

K: Mikä on äärellinen tilakaavio?

V: Kaaviota, joka esittää tällaisen koneen kaikki tilat ja siirtymät, kutsutaan äärelliseksi tilakaavioksi.