Tilstandsdiagram (automatteori)
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den
version , der blev gennemgået den 12. marts 2013; checks kræver
2 redigeringer .
Et tilstandsdiagram er en rettet graf for en endelig automat , hvori
- hjørner angiver tilstande
- buer viser overgange mellem to tilstande
I praksis tegnes toppunkter normalt som cirkler og om nødvendigt dobbeltcirkler. I UML- notation er tilstande repræsenteret af afrundede rektangler [1] .
Eksempler
S1 og S2 er tilstande . Buerne er mærket med inputdata.
S0 , S1 og S2 er tilstande . _ Buerne er mærket som j / k , hvor j er input og k er output.
Noter
- ↑ Tilstandsdiagram i UML . Hentet 25. marts 2011. Arkiveret fra originalen 11. august 2011. (ubestemt)
Litteratur
- John Hopcroft , Rajiv Motwani, Jeffrey Ullman. Introduktion til automatteori, sprog og beregning. - M. : Williams , 2002. - 528 s. - ISBN 0-201-44124-1 .
Se også