UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADPrograma Ingeniera en Sistemas Autmatas y Lenguajes Formales

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

TRABAJO COLABORATIVO 2

TUTORAANGELA MARIA GONZALEZ

PRESENTADO POR:MAIRA ALEJANDRA OCAMPO C.C 1088317709

CCAV DOSQUEBRADASPARTE 1: Hallar el autmata mnimo correspondiente al siguiente autmata finito:

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de minimizar).

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de minimizar)

01

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

Para todas las cadenas que empiezan por 1 o 0; seguidos de una, ninguna o muchas cadenas conformadas por 1 o 0 o su respectiva combinacin; y terminados en cadenas conformadas por 1 o 0 o su respectiva combinacin

Cadenas validas:

4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes de minimizar)

Expresin regular:

5. Identifique los estados Distinguibles y los No distinguibles

Dos estados son distinguibles si no son equivalentes. Dos estados y son distinguibles si son incompatibles (es decir, uno es final y el otro no es final)

q1x

q2xx

q3xxx

q4xxxx

q5xxxxx

q6xxxxXx

q7xxxxXxx

q8xxxxxxxx

q0q1q2q3q4q5q6q7

x: estados distinguibles.

6. Identifique los estados equivalentes (para ello muestre cmo evala esas equivalencias, colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el proceso de cmo los evala.

Los estados equivalentes son . Son equivalentes ya que con el estado llegan a un estado final. Son equivalentes ya que con el estado llegan a un estado final. Son equivalentes ya que son estados finales

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin, verifique una cadena valida y una no valida. Tenga en cuenta la jerarqua de operadores.Caminos posibles desde el estado inicial a los estados finales

Expresin regular:

12. (Autmata minimizado) Identifique su gramtica por la derecha (de forma manual) y caractercela.

Sea el alfabeto variableSea el alfabeto de constantesSea el conjunto de reglas o produccionesY sea el smbolo inicial y adems un elemento de Entonces tenemos en este caso que es lineal por la derecha ya que todas las producciones tienen forma Gramtica:

Entonces la derivacin por la derecha para la cadena es: