Äärellinen automaatti

Äärellinen automaatti tutkii käyttäjän antamia syötejonoja ja joko hyväksyy tai hylkää syötteen. Automaatti koostuu tiloista ja siirtymistä tilojen välillä. Tiloja merkitään ympyröillä ja siirtymät tilojen välillä kuvataan kaarina. Hyväksyvää tilaa, ns. lopputilaa, merkitään kahdella sisäkkäisellä ympyrällä. Muissa tiloissa automaatti hylkää syötteen.

Viereisessä automaatissa punaisten pallojen liikkeet kuvaavat siirtymistä tilojen välillä nappeja "a" ja "b" painettaessa ts. kun automaatti saa syötteekseen kirjaimen a tai b. Alkutilanteessa pallot ovat siirtymien lähtöpisteissä ja suunta on vasemmalta oikealle alinta kaarta (jossa siirrytään tilasta s2 tilaan s0) lukuunottamatta. Automaatti lähtee liikkeelle tilasta s0 ja s2 on hyväksyvä eli lopputila.

Testaa, hyväksyykö viereinen automaatti allaolevan syötteen ja tarkasta "Arvioi"-nappia painamalla, onko arvauksesi oikein.

 

syöte
hyväksyy
hylkää
abababab

 

(Huom! Kun siirrytään tilasta toiseen, odota hetki, että animaatio ehtii loppuun asti. Jokaisella napin painalluksella pitäisi tapahtua yhden animaation. Jos näin ei käy, paina uudelleen.)

[GeoScript-File] [ GeoStyle-File]


Lisää harjoituksia / More Exercises