INFORMATICA TERICA

Curso 2008-2009

Prcticas Tema 4
AUTMATAS FINITOS

Prctica 4.1: Construccin de autmatas finitos.

1.- Construir autmatas finitos deterministas que reconozcan los siguientes lenguajes:
L1= { am bn m > 0, n > 0 }
L2 = { x {0,1}* en x aparece el 1 dos o tres veces, la primera y la segunda de
las cuales no son consecutivas }
L3 = { x {a,b}* Na(x) es par }
L4 = { x {a,b}* x acaba en a }
2.- Construir un AFD mnimo que reconozca las palabras sobre el alfabeto = {a,b,c,d} que
contienen un nmero par (eventualmente cero) de apariciones de la subcadena bcd.
3.- Sea el alfabeto = {0,1}. Encontrar el AFD que reconoce el lenguaje:
L = { *- {} la subcadena 101 no aparezca }
4.- Construir un AFD mnimo que reconozca el conjunto de los nmeros positivos mltiplos de 3:
a) 003 y 000 son vlidas.
b) No son palabras del lenguaje las que tienen ceros no significativos a la izquierda.
5.- Construir un autmata finito que reconozca el siguiente lenguaje:
L = { x {a,b}* Na(x) = 3 y Nb(x) = 4 + 2}

Prctica 4.2: Minimizacin de AF.

1.- Dados los AF definidos por los siguientes diagramas de transicin:
Ap
0

p1

p5

p3

p7

1
0

p2

p4

p6

p8

0,1

Aq
1
1

q1

q3

q5

q7
1

q2

q4

q6

q8

0
0

At

t1

t4

t6

t7

0
1

t2

t3
0

t5
0

Ar

1
0

0,1

Obtener para cada uno de ellos el autmata mnimo.

Establecer si son o no equivalentes:
- por suma directa de autmatas.
- cules son isomorfos.

Prctica 4.3: Isomorfismo de AF.

1.- a) Dado el afd A, obtener el autmata finito mnimo equivalente .

q0

q4

0
q5

1
0

q2
1

q1
0

q3

q6

b) Dado el autmata A, probar que es equivalente a , utilizando el autmata suma.

0

1
q0

A
1

q3

q1

q2

c) Una parte del teorema de minimizacin consiste en probar que el autmata mnimo es
nico salvo isomorfismo. Para ello, si A es un afd, el autmata cociente y A otro afd
equivalente a A con el mismo nmero de estados que , hay que probar que A y son
isomorfos. La funcin que interviene en este isomorfismo es:
: Q
q

Q/E
(q) = [f(qo,x)]
*
x f (qo,x) = q

c-1) Describir explcitamente la funcin para los autmatas A y de los apartados b) y a).
c-2) Demostrar la parte antes citada del teorema de minimizacin, i.e. la unicidad del
autmata mnimo, es decir, que la aplicacin es un isomorfismo.
(Examen febrero 2001)

2.- Ver si los siguientes autmatas definidos por su funcin de transicin son o no isomorfos

q0

q1

q2

q3

q4

q5

q6

q1

q1

q3

q1

q5

q5

q3

q4

q2

q4

q2

q4

q6

q4

p0

p1

p2

p3

p4

p5

p6

p6

p2

p2

p5

p5

p6

p6

p1

p1

p4

p1

p1

p3

p3

a) Aplicando la definicin
b) Minimizando cada uno de los autmatas, y comprobando que los autmatas mnimos son
equivalentes.
(Examen junio 2007)

3.- Sean A y A afd mnimos. Demostrar

A1 E A2

A1 A2

Prctica 4.4 : AFND AFD

1. Dado el Autmata Finito No Determinista:

q0

q2

q4

q3

q1

q5

Calcular el autmata finito determinista equivalente.

2.- a) Dado el siguiente autmata finito
a

q0

q1

q2

q4

q5

obtener un AF determinista equivalente.

q3