Duda notación Tarea 3

[mc-cari]

Hola, se puede usar la información de δ? Asumiendo maquina no determinista:

Para ser ocupada dentro de las formulas de Σ, por ejemplo de la siguiente forma:

[juanreutter]

Si! hay que usar la información de delta, si no no hay como comprobar que la secuencia de configuraciones funciona!