Sei sulla pagina 1di 7

AUTOMATAS Y LENGUAJES FORMALES

FASE 2: ACTIVIDAD INDIVIDUAL

ENTREGADO POR:

GIAN CARLO VALENCIA

TUTOR
EDGAR ANTONIO CORTES

GRUPO: 301405_45

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


UNAD
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
2018
EJERCICIO A
TRABAJAR Ejercicio 2

Caracterizació Características: Es una séptupla:


n del autómata
a pila
AP= (Σ, Γ, Q, 𝑨𝟎 , 𝒒𝟎 , f, F) donde :

1. Σ se conoce como alfabeto de entrada

2. Γ equivale al alfabeto de la pila

3. Q es el conjunto finito de estados

4. A0 ∈ Γ símbolo inicial de la pila

5. q0 ∈ Q estado inicial del autómata

6. F ⊆ Q se entiende como el subconjunto de estados


finales

7. f es la función de transición de ternas (estado,


símbolo de entrada o λ, símbolo de pila) en el conjunto
de las partes Q×Γ*

f: Q×{Σ∪{λ}}× Γ → 2 Q×Γ* (subconjunto finito)


Procedimiento Para el estado 𝑞0 , el autómata lee el símbolo a y la pila inicial es
de paso a paso Z, entonces leerá la transición a Z A
del recorrido
de una cadena

En el estado 𝑞0 , lee el símbolo de entrada a y la pila inicial ya es


A, por eso lee la transición a A B

El autómata todavía en 𝑞0 , lee el símbolo a y la pila inicial ahora


B por eso lee la transición a B AB

Aun en estado 𝑞0 , lee a y la pila inicial es ahora AB por eso lee la


transición a A B

Estado 𝑞0 , símbolo leído a y la pila inicial ya es BB por eso lee la


transición a B AB

El estado sigue siendo q0, lee el símbolo a y la pila es ABB por


eso lee la transición a A B
El autómata aun en estado q0, lee a y la pila es ahora BBB por
eso lee la transición b B ʎ

Ahora el autómata ahora en estado q1, lee el símbolo b y la pila


inicial es BB por eso lee la transición b B ʎ

El autómata ahora en estado q1, lee el símbolo b y la pila es


ahora en la cabeza B.
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo
verificar lo menos cinco cadenas válidas y 5 cadenas rechazadas por el
aprendido autómata. En este espacio adjunta la imagen.
1. En la minimización del autómata en la primera validación, como estados

equivalentes quedan:

A. q0, q4, q6

B. q4, q0, q6

C. q6, q4, q0

D. q4, q6, q0

2. Los nombres de los conjuntos que se manejan después de la primera

validación de estados son:

A. X, M, Z, N

B. A, B, C, D

C. X, R, Z, D

D. A, M, N, Z
3. En la tabla de transición final como resultado de la minimización del

autómata:

0 1

B ? ?

A. B, A

B. Z, N

C. Z, A

D. A, B

BIBLIOGRAFÌA

Brookshear, J. G., & Morales Peake, E. (1993). Teoría de la computación: lenguajes formales, autómatas y

complejidad.

Kelley, D., & Platas, M. L. D. (1995). Teoría de autómatas y lenguajes formales (Vol. 22). España;

Prentice Hall.

Quiroz, F. H. Autómatas y Lenguajes Formales.

Tarazona, C. AUTÓMATAS Y LENGUAJES FORMALES.

Potrebbero piacerti anche