Aporte Colaborativo

Loraine Rangel Zuleta

1068820794

1. Realice la descripción (notación) (caracterización) matemática del autómata. (Antes

de minimizar)

5-Tupla
M = {q 0 , q 1, q 2 , q 3 , q 4 , q 5 , q 6 , q 7 , q 8 , q 9 } , { 0,1 } , δ , {q 0}, {q 3 , q 5 , q 8 }

δ =( q 0,0 )={q 2} δ =( q 4,0 )={q 6 }

δ =( q 0,1 )={q 1} δ =( q 4,1 )={q 7 }
δ =( q 1,0 )={q 9 } δ =( q 5,0 )={q 7 }
δ =( q 1,1 ) ={q 5 } δ =( q 5,1 ) ={q 1 }
δ =( q 2,0 )={q 3 } δ =( q 6,0 )={q 4 }
δ =( q 2,1 )={q 9} δ =( q 6,1 )={q 8}
δ =( q 3,0 )={q 2} δ =( q 7,0 )={q 8 }
δ =( q 3,1 ) ={q 6 } δ =( q 7,1 ) ={q 4 }
δ =( q 8,0 )={q 7 } δ =( q 9,0 )={q 0 }
δ =( q 8,1 )={q 6 }
δ =( q 9,1 )={q 4 }

2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de
minimizar)
Tabla de transición:

  0 1
→q0 q2 q1
q1 q9 q5
q2 q3 q9
# q3 q6 q2
q4 q6 q7
# q5 q7 q1
q6 q4 q8
q7 q8 q4
# q8 q7 q6
q9 q0 q4

Inicio se precede con símbolo →.

Los estados de aceptación se preceden con el símbolo #.

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

L= { M ϵ {1,0 }∨M ={0 n , 1n }}

Este es el lenguaje de todas las posibles cadenas que pertenecen a M y cuyo alfabeto es 0 y
1. Tal que las cadenas M sean iguales a cadenas que comienzan con cantidad n de 0 y n de
1.
4. Identifique la ER y en una tabla de validación (puede ser de Excel), verifique una
cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (Antes de
minimizar)