-
-
-
-
CENAPAD-MGCO
A seguir:
Buffer: Estados e Estado
Acima:
O Buffer Compartilhado
Anterior:
Sistemas de Transições de
Computações de um Sistema de Transições
Uma
computação
de um sistema de transições
T
é uma sequência
em
(conjunto de sequências no alfabeto formado por pares (estado, comando guardado)) tal que
1.
q
0
é o estado inicial de
T
2.
, se
então
g
(
q
k
) =
true
e
q
k
+1
=
a
(
q
k
)
Em outras palavras, uma computação deve
começar pelo estado inicial, e
prolongar-se através das ações de comandos com a guarda habilitada pelo estado corrente;
Osvaldo Carvalho
-
Postscript
-
Comentários?