1. Enuncie el autmata en notacin matemtica L= {A {1,0} | A=1n0n n1}2. Identifique la tabla de transicin correspondiente 01

q0q1q2

q1q3q4

q2q4q3

q3q3q0

q4q0q4

3. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen en un estado halt.

4. Encuentre la expresin regular vlida. (((00+11)0*1)*(01+10)1*0)*((00+11)0*1)*(01+10)1*

5. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). La gramtica valida para la funcin de transicin es:

La conversin se hace de izquierda a derecha.

6. Genere la gramtica tanto por la izquierda como por la derecha y verifique cual es vlida sustentando el por qu.

El simulador nos indica que cadenas fueron aceptadas y cuales fueron rechazadas con respecto a la gramtica del autmata; como observamos todas las cadenas fueron aceptadas.7. Realice el rbol de Derivacin de esa gramtica El rbol de derivacin es demasiado grande para ser plasmado grficamente, a este criterio seleccion una regla para que se detenga por cualquier rama izquierda o derecha.Regla de derivacin seleccionada = 101110101TABLA DE DERIVACION

ARBOL DE DERIVACION

8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacinL a gramtica del rbol no es ambigua se trata de una gramtica univoca ya que es una gramtica libre de contexto que tiene asociado un solo rbol de derivacin para toda cadena de lenguaje.Como se muestra en el punto anterior para la cadena (101110101) el nico rbol de derivacin que la puede representar es ese.