Diagrama d'estats: diferència entre les revisions
Contingut suprimit Contingut afegit
m Bot elimina espais sobrants |
enllaços |
||
Línia 12:
Una manera clàssica d'un diagrama d'estats per a una [[Autòmat finit|màquina d'estats finits]] és un [[graf (matemàtiques)|graf dirigit]] amb els següents elements:
* Estats Q : un conjunt finit de vèrtexs representats normalment per cercles i etiquetats amb símbols designadors únics o paraules escrites dins d'ells (Booth (1967) p. 69, [[John Hopcroft|Hopcroft]] i [[Jeffrey Ullman|Ullman]] (1979) p. 16, Sipser (2006) p. 34).
* Símbols d'Entrada S : una col·lecció finita de "símbols" d'entrada o designadors S (Booth, Hopcroft i Ullman, Sipser). Per a una [[autòmat finit]] (AFD), [[Autòmat finit no determinista|màquina d'estats finits no determinista]] (AFN), [[màquina d'estats finits no determinista generalitzada]] (GNFA), o una [[Màquina de Moore]], l'entrada està significada a cada aresta, normalment a prop de l'estat originador. Per a una [[Màquina de Mealy]], l'entrada i la sortida estan significats sobre cada aresta normalment separats per una barra "/":
| |||