Tilakaavio (automaattiteoria)
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 12. maaliskuuta 2013 tarkistetusta
versiosta . tarkastukset vaativat
2 muokkausta .
Tilakaavio on suunnattu graafi äärelliselle automaatille , jossa
- kärjet osoittavat tiloja
- kaaret osoittavat siirtymiä kahden tilan välillä
Käytännössä kärjet piirretään yleensä ympyröinä ja tarvittaessa kaksoisympyröinä. UML -merkinnöissä tilat esitetään pyöristetyillä suorakulmioilla [1] .
Esimerkkejä
S1 ja S2 ovat tiloja . Kaaret on merkitty syötetiedoilla.
S0 , S1 ja S2 ovat tiloja . _ Kaaret on merkitty j / k , jossa j on tulo ja k on lähtö.
Muistiinpanot
- ↑ Tilakaavio UML-muodossa . Haettu 25. maaliskuuta 2011. Arkistoitu alkuperäisestä 11. elokuuta 2011. (määrätön)
Kirjallisuus
- John Hopcroft , Rajiv Motwani, Jeffrey Ullman. Johdatus automaatioteoriaan, kieliin ja laskemiseen. - M .: Williams , 2002. - 528 s. - ISBN 0-201-44124-1 .
Katso myös