Resumen 5

1. Conversi ón  no determinista a  determinista.

mueve (X, b): conjunto de estado del aut ómata finito no determini stico donde una transici ón con el sí mbolo de entrada  a algún estado en X del aut ómata finito determinista.


cerradura E (X): consiste en un conjunto de estados del autómata fi nito no determinista alcanzables desde algún estado en X con transiciones E solamente.En palabras más simples consiste en todos los conjuntos de nodos a los que se pueden llegar mediante E.

Ejemplos:

Cerradura de -E(1) = 2,3,5.
Cerradura de -E(3) = 5.
Cerradura de -E(2) = E .
Mueve (1 , a) = 4 .
Mueve (3 , d) = E.