Empresa

TRABAJO INCIAL

AUTOMATAS Y LENGUAJES FORMALES

JENNIFFER DAYANNA POVEDA PARRA

ESTUDIANTE

COD: 1053326390

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

CEAD CHIQUINQUIRA

2015

A=[(q_0,q_1,q_2,q_3,q_4 ),(0,1),δ,q_0,(q_2,q_4 )]

∑▒〖=(0,1) 〗 es el alfabeto que contiene estos dos simbolos

K=(q_0,q_1,q_2,q_3,q_4 ) son los estados que tiene este automata

S=q_0

F=q_2,q_4

δ= ∑ x K  K La función de transición indica a qué estado se va a pasar sabiendo cuál es el estado actual y el símbolo que se está leyendo.

Donde la función δ : (q_0,q_1,q_2,q_3,q_4 )× (0,1)→ (q_0,q_1,q_2,q_3,q_4 )viene dada por:

δ(q0, 0) = q0, q3 δ(q0, 1) = q0, q1

δ(q1, 0) = φ δ(q1, 1) = q2

δ(q2, 0) = q2 δ(q2, 1) = q2

δ(q3, 0) = q4 δ(q3, 1) = φ

δ(q4, 0) = q4 δ(q4, 1) = q4

Identifique el lenguaje que genera. (no se trata de explicarlo o formularlo en notación de una ER)

L=(0,1)

El lenguaje que genera según la tabla de transiciones y el diagrama realizado, es una cadena que deben tener dos estados iguales en cualquier parte de la cadena “00” ó “11”y puede empezar la cadena con 0 ó 1. El lenguaje aceptado por esta autómata es:

00

11

Muestre en el simulador

Ingresamos la cadena 1001 que es una palabra aceptada

Se inicializa el automata en q0 que es la entrada

La palabra 1001 inicia con un uno (1) el cuál puede tomar dos caminos diferentes uno de ellos es que se queda en el mismo estado y puede realizar el cambio estado a q1

La palabra 1001 continua con un cero (0), el cuál la siguiente ruta parte desde el mismo q0 que ya que el primer simbolo lo dejo en el estado q0 y q1 pero la unica ruta siguiente posible es desde q0 a q3 ya que en q1 no hay transicion posible.

La palabra 1001 continua con otro cero (0), desde q3 hay una transcion al estado q4

La palabra 1001 finaliza con un uno(1), desde el mismo q4 se da la aceptación.

Muestre el diagrama de Moore generado en JFLAP y en VAS y comente cinco similitudes y cinco diferencias que encuentra al realizarlo en los dos simuladores. (Herramienta que ofrezca uno u otro).

Fig. 9 En JFLAP Fig. 10 En Vas

En ambos simuladores se pueden realizar el diagrama de Moore y correr sin ningún problema las

...