Está en la página 1de 6

INFORMATICA TEÓRICA

Curso 2008-2009

Prácticas Tema 4

AUTÓMATAS FINITOS

Práctica 4.1: Construcción de autómatas finitos.

1.- Construir autómatas 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 mínimo que reconozca las palabras sobre el alfabeto Σ = {a,b,c,d} que
contienen un número 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 mínimo que reconozca el conjunto de los números positivos múltiplos de 3:
a) 003 y 000 son válidas.
b) No son palabras del lenguaje las que tienen ceros no significativos a la izquierda.

5.- Construir un autómata finito que reconozca el siguiente lenguaje:


L = { x ∈ {a,b}* ⏐ Na(x) = 3 y Nb(x) = 4 + 2}
Práctica 4.2: Minimización de AF.

1.- Dados los AF definidos por los siguientes diagramas de transición:

Ap

0
1
p1 p3 p5 p7
1 1
0 1 0
0 0 1

p2 p4 p6 p8
1 0 1

0,1

Aq
1
1

1 1
q1 q3 q5 q7
1
0 0 0
1 1 1

0
q2 q4 q6 q8
0
0
0
0

At
1

1 1
1 t6 t7
t1 t4
0

1
1 1 0

0
t2 t3 t5
0
0 0
Ar
0 0

1
0 t
r s x
1

0
1 0
0
1

u w y
1 1

0,1

Obtener para cada uno de ellos el autómata mínimo.

Establecer si son o no equivalentes:


- por suma directa de autómatas.
- cuáles son isomorfos.
Práctica 4.3: Isomorfismo de AF.

1.- a) Dado el afd A, obtener el autómata finito mínimo equivalente Â.


1 0
q0 1 0
A q4 q5
1
0 q2
1
1
1 0 1

q1 q3 q6
0 0
0

b) Dado el autómata A’, probar que es equivalente a Â, utilizando el autómata suma.

1 0
q’0 0 q’1
A’

1 1 0

q’3 1 q’2
0
c) Una parte del teorema de minimización consiste en probar que el autómata mínimo es
único salvo isomorfismo. Para ello, si A es un afd, Â el autómata cociente y A’ otro afd
equivalente a A con el mismo número de estados que  , hay que probar que A’ y  son
isomorfos. La función que interviene en este isomorfismo es:

ϕ : Q’ Q/E
q’ ϕ (q’) = [f(qo,x)]
*
∃ x ∈ ∑ ⏐ f ’(q’o,x) = q’

c-1) Describir explícitamente la función ϕ para los autómatas A’ y  de los apartados b) y a).

c-2) Demostrar la parte antes citada del teorema de minimización, i.e. la unicidad del
autómata mínimo, es decir, que la aplicación ϕ es un isomorfismo.

(Examen febrero 2001)

2.- Ver si los siguientes autómatas definidos por su función de transición son o no isomorfos
q0 q1 q2 q3 q4 q5 q6

0 q1 q1 q3 q1 q5 q5 q3

1 q4 q2 q4 q2 q4 q6 q4

p0 p1 p2 p3 p4 p5 p6

0 p6 p2 p2 p5 p5 p6 p6

1 p1 p1 p4 p1 p1 p3 p3

a) Aplicando la definición
b) Minimizando cada uno de los autómatas, y comprobando que los autómatas mínimos son
equivalentes.
(Examen junio 2007)

3.- Sean A y A’ afd mínimos. Demostrar A1 E A2 ⇒ A1 ≈ A2


Práctica 4.4 : AFND ⇒ AFD

1. Dado el Autómata Finito No Determinista:

q0 λ q2 λ q4

a b
a b c d

q1 q3 q5
λ λ
Calcular el autómata finito determinista equivalente.

2.- a) Dado el siguiente autómata finito

a d

λ λ λ
q0 q1 q2 q3

λ λ

λ
q4

c b

q5

obtener un AF determinista equivalente.

También podría gustarte