ACTIVIDAD COLABORATIVA PARA EL MOMENTO No: 2 AUTOMATAS Y LENGUAJES FORMALES

PARTE 1

PUNTO 1

M es quíntuplo determinado así: {K , Σ, δ , s , f } [

K se refiere al conjunto de los estados de nuestro autómata:

K ={ q 0 , Q 1 , Q 2 Q 3 , Q 4 , Q5 }

Σ refiere al lenguaje :
Σ = {a , b}
S es el estado inicial:

S = q0

δ es la función de transición del autómata podemos denotar asi :

Kx Σ k ( Quiere decir que si tenemos un estado , un lenguaje , mas transición = nos puede
resultar un nuevo estado y así vamos organizando )

δ (q0, a)= q0 δ (q0, a)= q0

δ (q1, a)= q4 δ (q1, a)= q1
δ (q2, b)= q3 δ (q2, b)= q2
δ (q3, b)= q2 δ (q3, a)= q3
δ (q4, a)= q6 δ (q4, b)= q4
δ (q5, a)= q7 δ (q5, b)= q5

M= ({q0, q1, q2, q3, q4, q5 }, {a,b}, δ, {q0}, {q1, q2, q4})
 0 1
→ q0 q2 q1
q1 q4 q5
q2 q3 q4
# q3 q2 q6
q4 q6 q7
# q5 q7 q1

¿ ¿ ¿ ¿ ¿ ¿ ¿ ¿ ¿
L={ ω ϵ { 0,1 } ∨ω=0 +1 + (10 ) + ( 01 ) + 0(( 10 ) + 1( ( 10 ) + ( 01 ) +(01) )) }

R1=( q0 , q3 ) =00(00)¿
R2=( q0 , q5 ) =11(11)¿
¿ ¿
R3=( q0 , q8 ) por q1 , q7=11 (11 ) 00 ( 00 )
¿ ¿
R4 =( q 0 , q 8 ) por q 2 , q 6=00 ( 00 ) 11 ( 11 )
¿ ¿
R5=( q0 , q8 ) por q2 , q4 , q 7=011 ( 11 ) 0(00)
¿
R6=( q0 , q 8) por q1 , q4 , q 7=101 ( 11 ) 0(00)¿
¿
R7=( q0 , q8 ) por q1 , q4 , q 6=100 ( 00 ) 1(11)¿
¿ ¿
R8=( q0 , q 8) por q2 , q 4 ,q 6=010 ( 00 ) 1 (11)

ER= R1 + R2 + R3 + R4 + R 5+ R 6+ R 7 + R8
Por lo tanto será:
¿ ¿ ¿ ¿ ¿ ¿ ¿
00(00)¿ + 11(11)¿ +11 ( 11 ) 00 ( 00 ) +00 ( 00 ) 11 (11 ) +011 ( 11 ) 0(00)¿ +101 ( 11 ) 0 (00)¿ +100 ( 00 ) 1(11)¿ + 010 ( 00

Por equivalencias y factor común entre las partes se puede decir que la Expresión
Regular del autómata es:
¿ ¿ ¿ ¿ ¿
0¿ + 1¿ + ( 10 ) + ( 01 ) +0( (10 ) +1( ( 10 ) + ( 01 ) +(01)¿ ))
 4. Identifique los estados Distinguibles y los No distinguibles

Minimización del Autómata utilizando el método de conjuntos:

Conjuntos Iníciales:
x q3 , q5 Estados finales

, q8

y q0 , q1 , q2 , q4 , q 6 , Estados no finales
q7

Σ = {0, 1}

5. Identifique los estados equivalentes (para ello muestre cómo evalúa esas
equivalencias, colocando a los estados candidatos de equivalencia como
estados iniciales). Evidencie el proceso de cómo los evalúa.

Conjunto x 0 1
q3 y y
q5 y y
q8 y y

Conjunto y 0 1
q0 y y
q1 y x
q2 x y
q4 y y
q6 y x
q7 x y

Nuevos conjuntos:
x q3 , q5
, q8

y q0 , q4

z q1 , q 6

w q 2 , q7
 Conjunto x 0 1
q3 w z
q5 w z
q8 w z

Conjunto y 0 1
q0 w z
q4 z w

Conjunto z 0 1
q1 y x
q6 y x

Conjunto w 0 1
q2 x y
q7 x y

Nuevos conjuntos:
x q3 , q5
, q8

y q0

z q1 , q 6

w q 2 , q7

n q4

Conjunto x 0 1
q3 w z
q5 w z
q8 w z

Conjunto y 0 1
q0 w z

Conjunto z 0 1
q1 n x
q6 n x
 Conjunto w 0 1
q2 x n
q7 x n

Conjunto n 0 1
q4 z w

6. En el proceso de eliminación de estados, identifique que transiciones se

eliminan y cuáles se re direccionan. Muestre la tabla de estados
distinguibles
Se crea nuevamente una tabla de transición del autómata final minimizado

K 0 1
→ w z
y
#x w z
z n x
w x n
n z w

7. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de

moore

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

ya minimizado

Solución

M = (K, Σ, δ, s, F)

K = { a,z,b,n,x } estados del autómata

 Σ = {0,1} es el alfabeto de entrada

δ = es la función de transición, que a partir de un estado y un símbolo del

alfabeto obtiene un nuevo estado.

“s” es el estado inicial, en nuestro caso (y)

“F” es un conjunto de estados finales, en nuestro caso (x)

9. Identifique El Lenguaje que reconoce. (autómata ya minimizado)

L= {A ϵ{0,1}*| A={.El lenguaje que reconoce será el de todas las posibles cadenas
que empiezan por “0” o por “1” y que terminan en “0” o “1”, seguidos de una
combinación de uno o varios “0” o “1”. bajo ciertas condiciones (propiedades) que
resultan complejas (ER), por eso es que se reduce o minimiza el autómata.

Cadenas validas
11
00
111010
0101
000000

Cadenas no validas
10
101
00101
00011
01001
 10. Identifique la ER del autómata ya minimizado 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. (autómata ya minimizado)

(00+11+(01+10)(11+00)*(10+01))(00+11+(01+10)(11+00)*(10+01))*

11. Y 13. (Autómata minimizado) Identifique su gramática (de forma manual)

por la derecha y caracterícela.. Debe incluir el diagrama de estados con los
componentes de la gramática asociados a las variables y a las constantes.

Las gramáticas son mecanismos generadores de lenguajes, es decir nos indican

cómo podemos obtener o construir palabras de un determinado lenguaje.

Una gramática independiente del contexto (GIC) es una cuádrupla G=(N, Σ, S, P),
donde:

N: es una colección finita (no vacía) de símbolos no terminales.

Σ: es un alfabeto.

S: es un no terminal llamado símbolo inicial.

P: un conjunto de producciones tal que P⊆ N (N∪ Σ)*.

Los lenguajes generados por una GIC son llamados Lenguajes Independientes
del Contexto (LIC). Es posible probar que la gramática independiente del contexto
dada por: S → aSb|λ

Para verificar que tipo de gramática es en el simulador JFLAP nos dirigimos a la

ventana que se exporta después de haber convertido el DFA a Gramática (ver
más adelante) y en el menú Test seleccionamos prueba de tipo de gramática
(Test For Grammar Type).

Par ver qué tipo de gramática es en el simulador (JFLAP) nos ubicamos en el

menú convert y elegimos la opción Convert to Grammar; esto si el autómata
finito es determinista de lo contrario debemos convertirlo primero en un autómata
finito Determinista y luego realizar el proceso para convertir a la gramática, en este
caso estamos trabajando con un autómata finito determinístico así que no es
necesario.

En la nueva ventana damos clic en mostrar todas las producciones que quedan
(Show All), Exportamos la gramática en una nueva ventana (opción Export).
Al ejecutar nos indica la imagen que es una gramática regular y una gramática
libre de contexto alineado por derecha.

14. Con una cadena válida, genere un árbol de derivación para la gramática
por la derecha y demuestre y justifique si la cadena y árbol generado
puede ser ambigua o no
Ingresamos 111010 Presionamos STAR y luego STEP para ver todo el árbol.
También podemos observar la tabla de derivación
El árbol o gramática No es ambigua, ya que no existen dos árboles de derivación
distintos para una misma cadena o palabra. “Definición 17: Una GLC G es
ambigua si existen dos árboles de derivación distintos para G que generan una
misma cadena ω ∈ L(G) ”.
La gramática del árbol no es ambigua se trata de una gramática univoca o única
ya que es una gramática libre de contexto que tiene asociado un solo árbol de
derivación para toda cadena del lenguaje.

CONCLUSIONES

Gracias al presente trabajo se logró aprender y apropiar conceptos de lo que son

los autómatas y los lenguajes formales. Además también se aprendió que una
máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta
de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de
Turing puede ser adaptada para simular la lógica de cualquier algoritmo de
computador y es particularmente útil en la explicación de las funciones de una
CPU dentro de un computador.
 BIBLIOGRAFÍA

 http://www.veoh.com/watch/v616083236Thn5HJn
 https://www.youtube.com/watch?v=eWUfPJD9A_0&feature=youtu.be
 https://www.youtube.com/watch?v=3kWdHOLw-AQ
 https://www.youtube.com/watch?v=ASg_ZUXgvZk
 https://www.youtube.com/watch?v=sW-Lx9p1xfc
 https://www.youtube.com/watch?v=I4wI0mwQYow
https://www.youtube.com/watch?v=-mZ