Diagrama d'estats: diferència entre les revisions
Contingut suprimit Contingut afegit
m https://ca.wikipedia.org/wiki/Tema:T25fw6j4bf87vm4g |
m →Graf dirigit: Arranjant enllaç |
||
Línia 16:
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, Hopcroft i 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 "/":
: Les etiquetes d'entrada/Mealy sobre cada aresta (fletxa): "1/0" designa que el símbol "1" va causar el símbol "0" com a sortida.
| |||