Page 98 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

98

ABC. Ésta misma notación algunos libros la muestran como ABC

Obsérvese los siguientes diagramas:

M1 M2 esto indica que se simula el funcionamiento de M1 hasta lo que sería su estado de
parada y luego sigue el funcionamiento de M2.

X
M1 M2 esto indica que se simula el funcionamiento de M1 y hace una transferencia a M2
sólo si la celda actual contiene una X, si la celda actual no contiene una X, entonces se detiene al
concluir las acciones en M1.

X
M2

M1
¬X M3

Esta máquina compuesta que comienza con la simulación en M1 y luego simula el funcionamiento
de M2 o M3 dependiendo del símbolo actual, si es X o no.