Escuela Tcnica Superior de Ingeniera Informtica de Granada (ETSIIT)

Prctica 2: AFD / AFND

Modelos de Computacin

Jos Antonio Crdoba Gmez

2 Ingeniera Informtica (1 Cuatrimestre)

Granada - 12 de diciembre de 2016
ndice general

1. Ejercicio 1 2

2. Ejercicio 2 4

3. Ejercicio 3 6

4. Ejercicio 4 9

1
Captulo 1

Ejercicio 1: Construir un
AFD que acepte cada uno de
los siguientes lenguajes con
alfabeto {a,b}

b a,b

a a a
start q1 q2 q3 q4

Figura 1.1: Lenguaje de las palabras que contienen la subcadena aaa

2
 a,b

a a a
start q1 q2 q3 q4

b
b b

a a a
q5 q6 q7 q8
b
b b

Figura 1.2: Lenguaje de las palabras que comienzan o terminan (o ambas

cosas) por aaa

b b b

a a
start q1 q2 q3

Figura 1.3: Lenguaje de las palabras donde el nmerode a es divisible por 3

3
Captulo 2

Ejercicio 2: Construir un
AFND que acepte cada uno
de los siguientes lenguajes
con alfabeto {a,b}

a,b

a a a
start q1 q2 q3 q4

Figura 2.1: Lenguaje de las palabras que terminan en aaa

4
 a,b

a a a
start q0 q1 q2 q3

a a a
q4 q5 q6 q7

a,b

Figura 2.2: Lenguaje de las palabras que empiezan o termian (o ambas cosas)
en aaa.

a,b

q5

a a,b

q4 q7

a,b b b b

a a a b
start q0 q1 q2 q3 q6

Figura 2.3: Lenguaje de las palabras que contengan, simultneamente, las

subcadenas aba y abb. Este AFND tambin acepta cadenas en las que estas
subcadenas estn solapadas (por ejemplo, las palabras ababb y aaabbbaa
seran aceptadas)

5
6
Captulo 3

Ejercicio 3: Disear una

Mquina de Mealy o de
Moore que, dada una cadena
usando el alfabeto Aa,w,o,
encienda una led verde
(salida V) cada vez que se
detecte la cadena woow en la
entrada, apagndolo cuando
lea cualquier otro smbolo
despus de esta cadena
(representamos el led
apagado con la salida X). El
autmata tiene que encender
el led verde (salida V) tantas
veces como aparezca woow
en la entrada, y esta
secuencia puede7
estar
solapada.
 a/x w/x

w/x
w/x o/x o/x w/v
q0 q1 q2 3 q4
a,o/x w/x
o/x
a/x

a/x

a/x

Figura 3.1: Lenguaje de las palabras que empiezan o termian (o ambas cosas)
en aaa.

8
Captulo 4

Ejercicio 4: Obtener un AFD

equivalente al AFND
siguiente:

a,b
2 3

a
start 1

Figura 4.1: AFND de la figura

9
 E/A a b
1 1,3 2
2 2,3 3
3 1 -

Cuadro 4.1: Tabla de estados

a a b

b
start 1, 3 2 b

2, 3

1, 2, 3

Figura 4.2: AFN solucin

10
Bibliografa

[1] DECSAI http://decsai.ugr.es/~rosa/tutormc/

11