Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad7 PDF
Unidad7 PDF
AUTMATAS
Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Despus de un arduo recorrido hemos llegado al ltimo tema del programa, que est muy relacionado con las
ciencias de la computacin. Vivimos en la era de las comunicaciones, y da a da nos encontramos con problemas
que podemos llamar de entrada y de salida. Nos referimos a acciones que realizamos, por ejemplo, cuando
subimos al colectivo: las monedas que introducimos en la mquina constituyen la entrada y el boleto la salida.
Otro ejemplo cotidiano lo constituye la computadora: la entrada son los datos, la informacin, y la salida es el
resultado que se obtiene despus de haberlos procesado. En todos esos casos, se utilizan tipos de lenguajes
mediante los cuales las mquinas pueden procesar la informacin de entrada y realizar las acciones para la
operacin de salida.
En esta unidad recurriremos a muchos de los conceptos ya estudiados para abordar un tema nuevo que son las
mquinas de estado finito o circuitos secuenciales ( recordemos que ya vimos circuitos no secuenciales, las redes
de compuertas, en lgebra de Boole)
Segn el Websters New Coollegiate Dictionary, un lenguaje es un conjunto de palabras y mtodos paraa
combinar palabras, que es usado y entendido por un extenso grupo de personass1.
Con frecuencia a lenguajes de tal tipo se los llama lenguajes naturales para distinguirlos de los formales, que son los
que se aplican para modelar un lenguaje natural y comunicarse con la computadora. Sin embargo, ambos tipos de
lenguajes tienen algunas cuestiones en comn como por ejemplo un alfabeto y reglas gramaticales.
Los lenguajes formales se caracterizan por tener reglas gramaticales preestablecidas. Son ejemplo de este tipo de
lenguaje los lenguajes de programacin. Nos ocuparemos en esta unidad de tratar sus particularidades.
Para entender el significado del concepto lenguaje vamos a definir primero otros tales como alfabeto, letra y palabra.
Un alfabetoo es un conjunto no vaco y finito de smbolos. Los smbolos del alfabeto son las letras, strings o
caracteres. Suele indicarse con la letra V.
1
, USA, 2008, ISBN 978-0-87779-916-0
1 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Tengamos en cuenta que un alfabeto, como todo conjunto, debe estar bien definido, es decir no deben quedar
dudas acerca de cules son los elementos que lo componen, por ejemplo si el alfabeto fuera {a, b, ab} se
plantearan dudas acerca del elemento ab, es un elemento del conjunto?, se construy usando a, b?; esas
dudas no pueden existir.
Los elementos que pertenecen al conjunto Alfabeto se denominan letras, por ejemplo la letra e forma parte de los
alfabetos que se usan en los idiomas espaol, italiano, ingls, entre otros.
Para el alfabeto V= {a, b}, tanto la a, como la b son letras, simplemente por ser elementos del ese conjunto.
Por ejemplo para el alfabeto V={0,1} -que muchas veces se denomina alfabeto binario- son palabras 1101,
001110. Podemos indicarlas w=1101, z=001110.
Al conjunto de todas las palabras que se pueden construir con las letras de un alfabeto se lo indica V*; tengamos
en cuenta que si bien el alfabeto es finito, V* no lo es.
Por ejemplo: Sea V = {a, b}, el alfabeto formado por los smbolos a y b.
v = ababbaaaw = bbbbx = aaaaason palabras de V*.
Llamamos O a la palabra nula., es decir aquella que no tiene letras.
Algo para tener en cuenta es que convenimos que la palabra nula siempre pertenece a V*, sin importarnos cual es
el alfabeto V.
Las siguientes son operaciones para realizar con palabras sobre un alfabeto V. Estas operaciones son:
Concatenacin: si x e y son palabras, la concatenacin, x.y es una palabra formada por los smbolos de x
seguidos por los smbolos de y.
2 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
n
Potenciacin: si concatenamos n veces una cadena x, es decir..., x.x.x.x.x.....x
obtendremos x .
n
Tengamos en cuenta que si n = 0, se tiene la palabra nula y si n = 1 la palabra que se tiene es la dada.
En realidad la potenciacin es un caso particular de la concatenacin, ya que concatena una sola palabra n
veces.
Pods consultar una definicin por recurrencia en el captulo 19 del libro de la ctedra.
e Ejemplo1
e Ejemplo 2
Sean v=0111w=1110
la palabra que se obtiene es y = vw que leemos y. v concatenado con w, por lo que resulta
y = 01111110
- Reflexin, inversa o trasposicin: si la palabra x est formada por los smbolos a1, a2, ...., an, entonces la
R
palabra inversa de x, que indicamos x , se forma invirtiendo el orden de los smbolos en la palabra;
R
x = an, ...., a2, a1.
Podras reconocer cules de las operaciones definidas son binarias y cules son unitarias? Cuando reconozcas
las binarias establec si son cerradas en V*. Si la respuesta es afirmativa, seal qu propiedades cumplen.
Si no pods contestar, recurr a tu tutor o al captulo 19 del libro de la ctedra.
R
Sea w = abc entonces w = cba
Como ya dijimos V* denota a todas las palabras del alfabeto V, es decir que cada elemento de V* es una
secuencia finita de letras del alfabeto ya que es una palabra.
Ejemplo:
3 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Imaginemos ahora que necesitamos enviar un mensaje que debe ser almacenado en un vector, para eso es til
conocer el nmero de letras que vamos a usar y por lo tanto es necesario dar una definicin de longitud de una
palabra, veamos entonces.
La longitud de una cadena w es la cantidad de smbolos que la forman.
Smbolo
Letra o caracter
Cadena o palabra
Alfabeto
Un lenguaje es un subconjunto de todas las palabras que se pueden formar con las letras de un alfabeto
V, es decir es L V*.
4 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Las siguientes son operaciones que pueden realizarse con los lenguajes; en cada caso presentamos la definicin y
un ejemplo aclaratorio (tengamos en cuenta que un lenguaje es un conjunto y por lo tanto son vlidas las
operaciones para conjuntos):
- Concatenacin: Dados dos lenguajes L1 y L2, su concatenacin, L1 . L2 contendr todas las palabras que
se puedan formar por la concatenacin de una palabra de L1 y otra de L2.
Tengamos en cuenta que concatenamos cada palabra del primer lenguaje con cada palabra del segundo.
i i
Tengamos en cuenta que si i=0, obtenemos el lenguaje nulo que indicamos {O} y que si
i = 1 se obtiene el mismo lenguaje.
Recordemos las siguientes operaciones entre conjuntos, que ahora aplicaremos a los lenguajes.
- Unin: Dados dos lenguajes L1 y L2, su unin L1 L2 contendr todas las palabras que pertenezcan a
cualquiera de los dos lenguajes,
L1 L2 = { x tal que x L1x L2 }
5 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
- Diferencia: si
L1 y L2 son lenguajes la resta de L1 y L2,
L1 - L2, contendr todas las palabras que pertenezcan a L1 y no pertenezcan a L2 ,
L1 - L2 = { x tal que x L1 y x L2 }
Veamos ahora las siguientes definiciones que las aplicaremos al desarrollo de autmatas finitos
n
L* *L
i=0
- Clausura Positiva:: sea V un alfabeto, sea N el conjunto de los nmeros naturales, sea n N y sea
+
L un lenguaje de V* entonces: L = L L L .... L es la clausura de positiva del
lenguaje L.
n
L *
i 1
L
Ahora ests en condiciones de resolver los siguientes ejercicios que te proponemos. Si te surge alguna pregunta o
duda no dejes de consultar a tu tutor.
6 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
2. Sea V = {a, b}, el alfabeto formado por los smbolos a y b, indic cules de las siguientes son
palabras de V*
a). v = ababbaca
b). w = z
c). z = a
7. Sea V = {0, 1}, w = 0101010, hall w con potencia 0, 1, 2 y 3, establec las longitudes de
dichas palabras.
w
R
a). R
R
b). O
7 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
13. Sea el lenguaje L = {111, 000} mostr que la concatenacin es cerrada en L*.
8 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Gramticas
Las gramticas son descripciones de las sentencias de los lenguajes, establecen la estructura que deben tener las
sentencias para que estn bien formadas y para que pueda entenderse su significado.
Las gramticas formales son descripciones estructurales de las sentencias de los lenguajes, tanto formales
(lenguajes de programacin ), como naturales ( humanos). En este ltimo caso, la gramtica se ocupa de la sintaxis
( es decir la forma que deben tener las sentencias)..
Las gramticas permiten describir de forma intencional a los lenguajes; proporcionan reglas para la estructura de las
frases y su significado.
Informalmente podemos decir que una gramtica es un modelo matemtico que consta de:
- un alfabeto, llamado alfabeto de elementos terminales que representa el conjunto de letras que tendrn las
palabras del lenguaje que genera esa gramtica
- un conjunto de smbolos especiales, denominados no terminales, que son elementos auxiliares y permiten
representar estados intermedios antes de llegar al de la generacin de las palabras del lenguaje.
- un smbolo inicial del que se partir para la obtencin de cualquiera de las palabras del lenguaje, denominado
cabeza del lenguaje, que es uno de los elementos no terminales.
- un conjunto de producciones o reglas gramaticales que permitirn realizar las transformaciones desde los
smbolos no terminales a las palabras del lenguaje.
Algunas observaciones que tendremos que tener en cuenta son las siguientes:
G L(G)
5. El proceso para obtener las palabras del lenguaje que genera la gramtica se llama derivacin
9 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Ejemplo 1
Sea G una gramtica en la cual:
Vt = {a, b}
Vn = {S, A, B}, donde S es el smbolo inicial.
S o aB
S o bA
Aoa
A o aS
A o bAA
Bo b
B o bS
B o aBB
S o aB/ bA
A o a/ aS/ bAA
B o b/bS/aBB
Aplicando las reglas gramaticales y teniendo en cuenta que esta gramtica genera palabras con las letras a, b,
debemos plantearnos como objetivo eliminar las letras S, A, B. Tenemos que comenzar con S, eso no podemos
elegirlo, pero si podemos seleccionar cualquiera de las opciones que S nos ofrece, por ejemplo:
S o aB
S o aBoab que es una palabra del lenguaje ya que ambas letras pertenecen al vocabulario terminal.
Veamos otra palabra (si hay que reemplazar una letra por ms de una conviene poner un parntesis),
10 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Recordemos que, cuando vimos lenguajes, sealamos que podan ser finitos o infinitos. Si en el caso anterior
miramos las producciones, es decir las reglas gramaticales, vemos que tanto con A como con B volvemos al
comienzo, es decir a S. Como eso lo podemos hacer tantas veces como queramos, resulta que el lenguaje que
genera esta gramtica es infinito.
Puede ocurrir que nos pidan que describamos ese lenguaje ya que es imposible listar todas sus palabras.
Si siguiramos con el procedimiento podramos observar que los enunciados del lenguaje son todas las cadenas de
letras a y b en las que el nmero de letras a es igual al nmero de letras b.
Hilando ms fino podemos decir que el no terminal A representa el conjunto de cadenas en las que el nmero de
letras a es uno ms que el nmero de letras b, y el no terminal B representa el conjunto de cadenas en las que el
nmero de letras b es uno ms que el nmero de letras a.
Una forma prctica de representar las derivaciones son los rboles de derivacin que se utilizan en la construccin
de compiladores para representar el anlisis sintctico de los programas fuente y sirven de base para la generacin
de un cdigo.
Sin embargo, no siempre se pueden usar. Ya veremos cuando es posible usarlos y cuando no.
Las derivaciones se representan creando tanto los sucesores del smbolo no terminal de la izquierda de las
producciones como los smbolos (terminales y no terminales) aparezcan en la parte derecha de las producciones
Ejemplo 2
Sea G = ({0,1,2}; {a, b}; P; 0) con las siguientes producciones:
0 o a2 / b1
1 o a / a0 / b11
2 ob / b0 / a22
11 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
0
0
a 2
a 2 0
b
b 0
a 2
a 2
Finalmente podemos preguntarnos cuando una palabra no pertenece al lenguaje generado por una gramtica, esto
sucede cuando al aplicar las reglas gramaticales no se puede obtener la palabra en cuestin.
Si nos remitimos al ejemplo 1, donde las palabras tenan el mismo nmero de a que de b, la palabra w= aabbb
no podramos encontrarla
La siguiente clasificacin de las gramticas dada por el lingista Noam Chomsky nos resultar de gran utilidad para
reconocer las gramticas formales y usarlas para resolver distintos tipos de problemas.
Clasificacin de gramticas:
Noam Chomsky defini cuatro tipos de gramticas formales, en funcin de las producciones, es decir de las reglas
gramaticales.
Esta clasificacin comienza con las ms generales para finalizar en las que presentan ms restricciones, siempre
teniendo en cuenta las producciones.
A continuacin daremos la clasificacin, para eso consideraremos una produccin genrica xo y, donde
llamaremos parte izquierda a x y parte derecha a y
En la parte izquierda tiene que haber al menos un smbolo no terminal. Respecto a las partes derechas de sus
producciones no hay ningn tipo de restriccin.
e Ejemplos:
1. S oaSBC | aBC
CB o BC
aB o ab
bB o bb
bC o bc
cC o cc
12 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
P: S o A0
A0 o 1B1
1A o 0B0
B oO
B o1
B o0
Se denominan gramticas dependientes del contexto porque en ellas se tiene en cuenta que es lo que viene antes
y despus del smbolo que se est sustituyendo.
Este tipo de gramtica consiste en que las derivaciones producidas por aplicacin de sus reglas cumplen la
condicin de que las palabras siempre tienen longitud mayor o igual que las anteriores en la derivacin, es decir
_ x _ d _ y _, de donde no generan la palabra nula.
Se llaman dependientes del contexto porque si hay una produccin de la forma aXy donde debe ser reemplazado
X: debe hacerse de la forma siguiente aTy, donde T es el reemplazo de X que respeta a lo que rodea a X.
e Ejemplos:
1. S o abc | aAbc
Ab o bA
Ac o Bbcc
bB o Bb
aB o aa | aaA
Estas gramticas se denominan de contexto libre, porque a la hora de transformar una palabra en otra, el smbolo
no terminal que se transforma no depende de los que estn a la izquierda o derecha.
13 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
En estas gramticas, la parte izquierda (x) de las producciones slo pueden tener un smbolo no terminal, es decir
_x_=1
e Ejemplos:
1. S o aSb | ab
2. L = {ak bk tal que k t 1} es un lenguaje de tipo 2, pues puede especificarse mediante la gramtica de
tipo 2:
A o aAb
A o ab
Algo para tener en cuenta es que si una produccin es de la forma VnVt en la misma gramtica no puede haber
una regla Vt Vn
e Ejemplos:
1. A o aB | a |l
a o b1 | c1
b o b0 | l
col|0
a o 1b | 1c
b o 0b | O
coO|0
14 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
a o 1b | 1c
b o b0 | O
coO|0
No es una gramtica tipo 3 ya que hay una produccin 1b, de la forma Vt Vn y otra produccin b0 que es de la
forma VnVt
9Sin restricciones
9Genera lenguajes recursivamente numerables
Gramtica Tipo 0
9Libres de contexto
9Genera lenguajes libres al contexto
Gramtica Tipo II 9El lado izquierdo debe consistir en un solo no terminal
9No hay restricciones al lado derecho
9Regulares
9Genera lenguajes regulares
9El lado izquierdo debe consistir en un solo no terminal
Gramtica Tipo III 9El lado derecho debe ser un terminal seguido de un
no terminal, o un solo terminal o la cadena vaca
x Las gramticas nos dan las reglas para ir formando las palabras de un lenguaje
x Formalmente son cudruplass G = (Vn; Vt; P, s)
x Para obtener palabras se deben ir aplicando las producciones o reglas grama ticales.
x Aveces se pueden utilizar rboles de derivacin.
x Las gramticas se clasifican en 4 tipos de acuerdo a sus producciones: tipo 0 o
irrestrictas, tipo 1 o sensibles al contexto, tipo 2 o independientes del contexto y tipo
3 o regulares.
15 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
En esta asignatura nos dedicaremos principalmente a los lenguajes regulares o tipo 3, es decir los que pueden ser
generados por gramticas tipo 3, y que como veremos en la seccin siguiente van a ser reconocidos por
mquinas abstractas llamadas autmatas finitos.
Sin embargo, para que tengas una idea, la mayora de los lenguajes de programacin son tipo 2 o independientes
del contexto. Ellos son reconocidos por otro tipo de mquinas llamadas autmatas de pila.
Pero para poder comprender bien dichos lenguajes y dichas mquinas, primero es necesario conocer bien los
lenguajes regulares y los autmatas finitos, que son las mquinas ms simples.
1. Obten las derivaciones de las palabras 002 y 0001 a partir de la siguiente gramtica:
A
A
0 B
0 B
0 A
0 A
0 B
2
1
Para obtener el lenguaje, habr que analizar qu palabras pueden derivarse desde el axioma. As que se pueden
obtener las siguientes derivaciones:
A o 2
A o 0B o 01
A o 0B o 00A o 002
A o 0B o 00A o 000B o 0001
A o 0B o 00A o 000B o 0000A o 00002
16 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Por lo tanto, puede aparecer un 2 precedido de un nmero par de 0s un 1 precedido por un nmero impar de 1s.
L = { 0n 2 / n = 2.x }
y un lenguaje L2 = { 0 1 / a = 2.y + 1 }
V = { 1, 2, 3, 4, 5, 6, 7, 8 }
V 2 = { a, b, c, d, e, f, g, h }
Y los lenguajes:
L(V ) = { x | x V } y L2(V2 ) = { x | x V2 }
En este caso, una numeracin muy utilizada para los tableros de ajedrez es numerar las filas del 1 al 8 y las
columnas de la a a la h, con lo que el lenguaje resultante de L . L2 representara todas las casillas de ajedrez.
4
El nmero de palabras del lenguaje resultante sera | (L . L2) | = 8 .
3. Determin si la gramtica dada es sensible al contexto, libre del contexto, regular o bien ninguna de stas:
a. T = { a, b } , N = { *, A }, con composiciones:
* o b *, * o aA, a o a *,
A o bA, A o a, * o b,
y smbolo inicial *.
Solucin: regular, libre de contexto, sensible de contexto. Es importante siempre dar el ltimo tipo
alcanzado. Es decir en este caso no podemos dejar de decir que es regular
b. T = { a, b } , N = { *, A, B }, con composiciones:
* o b *, * o AAB, Aa o ABa, a o aA,
Bb o ABb, AB o ABB, B o b,
y smbolo inicial *.
17 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Solucin: regular, libre de contexto, sensible de contexto.Lo importante es que es tipo 2 o libre de
contexto
Autmatas:
Lenguajes, Gramticas Regulares y Autmatas
A continuacin se demostrar que una gramtica regular y un autmata de estado finitos son, en esencia, lo mismo
pues cualquiera de ellos es una especificacin de un lenguaje regular.
Podemos decir, informalmente, que un lenguaje es regular si existe una gramtica regular que lo genere.
Una definicin formal puede ser dada en forma recursiva, como se da a continuacin
1. es un lenguaje regular.
2. { O } es un lenguaje regular.
L = { ab, ba }
L2 = { bb }
L L2 = { ab, ba, bb }
L3 = V*
18 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
2. Todos los nmeros binarios que comienzan con un nmero par de 1s y terminan con un 0, es un lenguaje
regular infinito sobre el alfabeto {0, 1}
L = { 12 n 0 con n t 0 }
Algo para tener en cuenta:
A continuacin nos referiremos a las Expresiones Regulares que nos facilitarn la manera de describir un lenguaje
regular y que se construyen utilizando los caracteres del alfabeto sobre el cual se define el lenguaje.
Sea A un alfabeto. Una expresin regular sobre A es un secuencia de elementos de A conectados por
los siguientes smbolos (,),, * que verifican:
M palabra nula): es una expresin regular.
Si a A entonces a es una expresin regular.
Si x e y son expresiones regulares entonces xy es una expresin regular.
Si x e y son expresiones regulares entonces x y es una expresin regular.
Si x es una expresin regular entonces (x)* es una expresin regular.
Tengamos en cuenta lo siguiente: asociado a cada expresin regular sobre el alfabeto A hay un
subconjunto de A*, que se llama subconjunto o lenguaje regular.
1. La Expresin Regular a*ba*ba representa al lenguaje de todas las palabras sobre el alfabeto {a, b} con 2
b y una a, comenzando o no con aes.
Son palabras de este lenguaje: bba, abba, aabaaba....
Un autmata finito es una herramienta abstracta que se utiliza para reconocer un determinado Lenguaje
Regular.
Es un modelo matemtico de un sistema que recibe una cadena formada por caracteres de un
determinado alfabeto y determina si esa cadena pertenece o no al lenguaje que reconoce.
19 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Una mquina procesadora de informacin es un dispositivo que recibe un conjunto de seales de entrada que
produce en correspondencia un conjunto de seales de salida.
Veamos los siguientes casos que seguramente nos ayudarn a comprender el tema.
e Por ejemplo, podemos considerar que una lmpara de mesa es una mquina procesadora de informacin: la seal
de entrada es la posicin ENCENDIDO o la posicin APAGADO del interruptor y la seal de salida es la
ILUMINACIN o la OSCURIDAD.
Otro ejemplo de mquina procesadora de informacin es un sumador, cuyas seales de entrada son dos nmeros
decimales y la seal de salida, su suma.
Generalmente, las seales de entrada para una mquina procesadora de informacin cambian con el tiempo.
Entonces en este caso, las seales de salida tambin variarn con el tiempo, en la forma correspondiente. Es decir,
que una mquina procesadora de informacin recibe una serie (temporal) de seales de entrada y produce una
correspondiente serie (temporal) de seales de salida.
Otro ejemplo es el de una mquina expendedora, que tambin es una mquina procesadora de informacin donde
las seales de entrada son las monedas depositadas y la seleccin de la mercadera, y las seales de salida son las
mercaderas y posiblemente el vuelto.
Advirtamos que existe una diferencia entre las mquinas citadas en los ejemplos anteriores. En el caso de la lmpara
de mesa, siempre que la seal de entrada es ENCENDIDO, la seal de salida es ILUMINACIN, y siempre que la
seal de entrada sea APAGADO, la seal de salida es OSCURIDAD. Esto indica que la seal de salida depende en
cualquier momento solamente de la seal activada en ese instante y no de las seales de entrada anteriores a dicho
instante.
En cambio, en el caso de la mquina expendedora, la seal de salida obtenida en cualquier instante depender no
slo de la seal de entrada dada en ese instante, sino adems, de las seales de entrada precedentes.
Dividimos a los autmatas en dos clases, con memoria y sin memoria. Es muy importante tener en cuenta que:
Para una mquina sin memoria, su salida en cualquier instante, slo depende de la entrada en tal instante.
y que para una mquina con memoria, su salida en cualquier instante depende de la entrada en dicho instante como
de las entradas en instantes previos, debido a que la mquina puede recordar que sucedi en el pasado.
Un estado representa un resumen de la historia pasada de una mquina. Por lo que, el estado de la mquina junto
con las seales de entrada en un instante determinado, establecern las seales de salida correspondientes a dicho
instante.
20 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Recordemos el concepto de autmata finito: una mquina con un nmero finito de estados, en cambio, una
mquina con un nmero infinito de estados se llama autmata infinito.
Nosotros, como ya dijimos, nos ocuparemos de los autmatas finitos. Vamos a definirlos formalmente:
Una mquina con un nmero finito de estados se llama mquina de estado finito. Una mquina de estado finito
es la 5-upla M = (Q; V; E; q; F) donde:
Los autmatas finitos no determinsticos son aquellos en los que puede existir ms de un transicin por cada par
(estado, entrada) o ninguna transicin por cada par, de forma que, en cada momento, el autmata puede realizar
varias transiciones diferentes entre las que deber optar o no poder realizar ninguna. Otro rasgo que los diferencia
de los determinsticos es que pueden realizar transiciones de un estado a otro sin leer ningn smbolo de entrada,
mediante las denominadas transicionesM.
Detengmonos ahora en los Autmatas Finitos Determinsticos.
21 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Un autmata finito determinstico (AFN) es una mquina de estado finito, que se define como:
la 5-upla M = (Q; V; ; q; F) donde:
x Para cualquier estado, la lectura de una letra determina, sin ambigedades, el estado de llegada.
x Para todo (q; a) Q x V o G(q; a) = p si y slo si la mquina puede pasar del estado q al
estado p al leer el smbolo a.
x Para cada estado en un diagrama de transicin debe existir a lo sumo una arista etiquetada para
cada letra del alfabeto V.
x Ninguna arista est etiquetada con O.
x Un A.F.D. es completo si cada estado tiene una transicin por cada letra del alfabeto.
e Veamos algunos de los ejemplos de Mquinas de Estado Finito como reconocedoras de Lenguaje.
0 1 1 0
qo o qo o q1 o qo o qo
22 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
0 1
qP qP
q1
q1 q1 qP
0 1
0
qP q1
23 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
2).
0 1
0
1 1
A B C D
0
Esta mquina de estado finito es un Autmata Finito determinstico, ya que cumple con la definicin del mismo. De
cada estado {A, B, C, D} por cada letra del alfabeto (en este caso 0 o 1) existe una nica transicin hacia otro
estado.
A continuacin planteamos algunos ejercicios para que resuelvas; ante cualquier duda, pods consultar a tu tutor.
1. Determin cules son las palabras aceptadas por los siguientes autmatas:
I.
0
1
* 1
qP q1 q2
1
II.
1
1 0
* qP q2
q1
24 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
0 1
* 1 q3
qP q1 q2
E a b
* qP q1 q2
q1 qP q1
q2 q2 qP
4. D la Tabla de trancisin
b
a
*
qP
a
q1
b
b
q2
a
25 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Un autmata finito no determinstico es un autmata finito que puede realizar transiciones por la palabra O
O
x Una transicin por la palabra O, es un cambio de estado sin la intervencin de ningn carcter de la
palabra en estudio.
x La transicin que se ejecuta en una etapa dada puede ser incierta pues nada lo determina, por eso
se dicen no determinstico.
x Cada estado puede tener, en el diagrama de transicin, ms de una arista etiquetada con cada letra
del alfabeto V.
x Para cualquier estado q se pueden tener cero ms alternativas a elegir como estado siguiente,
todas para el mismo smbolo de entrada.
x Si A = (Q; V; G; q; F) es un autmata finito no determinstico, el lenguaje que acepta A se
indica L(A) y es regular.
e Ejemplos:
Sea A = ( {qo, q1, q2 , q3, q4 }; { 0, 1}; G; qo; {q2 , q4 }), con G dada por
G (qo; l) = {q1, q3 }
G (q1; 0) = { q2 }
G (q3; 1) = { q4 }
G (q2; 0) = { q2 }
G (q4; 1) = { q4 }
0
M 0
*
qP q1 q2
M 1
q3 q4
26 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
Trat de ejercitar autmatas finitos no determinsticos; para ello te planteamos a continuacin una serie de ejercicios:
a). A = ( {qo, q1, q2 }; { 0}; G; {q2}), con G dada por la siguiente tabla de transicin:
E 0 M
* qP q1
q1 q2
q2 q2
b). A = ( {qo, q1, q2, q3}; { 0, 1 }; qo; {q3}), con G dada por:
G (qo; 0) = {qo } y G (qo; 0) = {q1 } o G (qo; 0) = {qo, q1 } G (qo; 1) = {qo }
G (q1; 1) = {q2 }
G (q2; 1) = {q3 }
c). A = ( {qo, q1, q2, q3}; { 0, 1 }; qo; {q3}), con G dada por:
G (qo; 0) = {qo } y G (qo; 0) = {q1 } o G (qo; 0) = {qo, q1 } G (qo; 1) = {qo }
G (q1; 1) = {q2 }
G (q2; 1) = {q3 }
d). A = ( {qo, q1, q2, q3, q4 }; { 0, 1}; G; qo; {q2, q4}), con G dada por:
G (qo; O) = {q1, q3 }G (q1; 0) = {q2 }
G (q3; 1) = {q4 }
G (q2; 0) = {q2 }
G (q4; 1) = {q4 }
27 Unidad 7
LENGUAJES, GRMATICAS Y AUTMATAS
G (c; 0) = {a }
G (c; 1) = {b }
28 Unidad 7