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

...