Beruflich Dokumente
Kultur Dokumente
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.
Concretando, los lenguajes pueden clasificarse en naturales y formales.
Los lenguajes naturales se caracterizan por:
- una semntica, es decir, un significado
- una sintaxis, es decir, un conjunto de reglas gramaticales.
Son ejemplos de este tipo de lenguaje, los lenguajes de seres humanos, tales como: chino, espaol, ingls.
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.
Unidad 8
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 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.
y = 01111110
Tengamos en cuenta, adems, que la concatenacin es una operacin binaria y cerrada en el conjunto V*.
Te anims a analizar las propiedades de la concatenacin?
Si tens alguna dificultad, pods consultar con tu tutor o recurrir al libro de la ctedra, en el captulo 19.
Unidad 8
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.
Ejemplo1
Si concatenamos 2 veces la cadena x obtendremos x.
Si concatenamos 3 veces la cadena x, obtendremos x.
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.
Unidad 8
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.
Lo indicaremos long.w= w = nmero de letras de w
Tengamos en cuenta que la longitud de cualquier palabra ser un nmero natural o cero.
Por ejemplo:
Teniendo en cuenta v=abba, w=bb, se tiene
Long v = |v| = 4
Long w = |w| = 2
Por lo tanto, si concatenamos v seguido de w, se tiene la palabra y =abbabb y entonces
| = 0.
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*.
Unidad 8
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.
Por ejemplo: Dados L1 = { nana, napa, lana} y
L2 = {
, nana, napa, pana, palabra, papa, pala}
L1 . L2 = { nana, napa, lana, nananana, napanana, ...}
Tengamos en cuenta que concatenamos cada palabra del primer lenguaje con cada palabra del segundo.
Tengamos en cuenta que si i=0, obtenemos el lenguaje nulo que indicamos { } y que si
i = 1 se obtiene el mismo lenguaje.
Por ejemplo: Dado L1 = { 0, 1}entonces
LR = { x R tal que x
L}
LR = { 0, 1, 00, 01 }
Recordemos las siguientes operaciones entre conjuntos, que ahora aplicaremos a los lenguajes.
-
L1
L2 }
L1
L1
L2 = { x tal que x L1 y x L2 }
Ejemplo: Dados L1 = { nana, napa, lana} y
Unidad 8
L2 = {
L1
-
L2 = { nana, napa }
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 }
Ejemplo: Dados L1 = { nana, napa, lana} y
L*
-
L
n
i=0
....
Clausura Positiva:: sea V un alfabeto, sea N el conjunto de los nmeros naturales, sea n N y sea
+
L
L .... L es la clausura de positiva del
L un lenguaje de V* entonces: L = L
lenguaje L.
n
i 1
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.
Unidad 8
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
3. Un Lenguaje formal puede ser infinito?
4. Indic si las siguientes opciones son verdaderas o falsas: sea V = {1, 2, 3}
a). a=111
L (V)
b). b=312
L (V)
c). c=114
L (V)
7. Sea V = {0, 1}, w = 0101010, hall w con potencia 0, 1, 2 y 3, establec las longitudes de
dichas palabras.
a).
b).
Unidad 8
13. Sea el lenguaje L = {111, 000} mostr que la concatenacin es cerrada en L*.
Unidad 8
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.
elementos no terminales.
Vt es un conjunto de elementos llamados terminales, suele denominarse vocabulario de elementos
terminales.
P es un conjunto de producciones (reglas de sustitucin) y S es un elemento de Vn llamado smbolo
inicial.
Algunas observaciones que tendremos que tener en cuenta son las siguientes:
1. El lenguaje generado por una gramtica G se denomina L(G).
2. Si la gramtica G genera un lenguaje L se indica
L(G)
Unidad 8
Vt = {a, b}
Vn = {S, A, B}, donde S es el smbolo inicial.
Las reglas gramaticales o producciones son
S
S
A
A
A
B
B
B
aB
bA
a
aS
bAA
b
bS
aBB
S
A
B
aB/ bA
a/ aS/ bAA
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:
aB
aB ab 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),
aB
a(bS)
ab(bA)
abb(bAA)
abbb(AA)
abbb(aa)
10
Unidad 8
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.
En los rboles de derivacin:
La cabeza del lenguaje se representa en la raz del rbol
Los nodos hojas del rbol son smbolos terminales de la gramtica
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
0
1
2
a2 / b1
a / a0 / b11
b / b0 / a22
a2
ab L(G)
a2
ab0
aba2
abab L(G)
11
Unidad 8
a
a
2
2 0
b
b
2
a
b
b
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 x
llamaremos parte izquierda a x y parte derecha a y
y, donde
Ejemplos:
1. S
aSBC | aBC
CB
BC
aB
ab
bB
bb
bc
bC
cC
cc
12
Unidad 8
A0
1B1
0B0
1
0
Ejemplos:
1. S
Ab
Ac
bB
aB
abc | aAbc
bA
Bbcc
Bb
aa | aaA
P: A
A
1B1
1B1
1B1
11
101
111
13
Unidad 8
En estas gramticas, la parte izquierda (x) de las producciones slo pueden tener un smbolo no terminal, es decir
x =1
Ejemplos:
1. S
aSb | ab
aAb
ab
A
A
P = {( A
y donde:
Ejemplos:
1. A
aB | a |l
a
b
c
b1 | c1
b0 | l
l|0
a
b
c
1b | 1c
0b |
|0
14
Unidad 8
a
b
c
1b | 1c
b0 |
|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
Podemos sintetizar la clasificacin con el siguiente cuadro:
Gramtica Tipo 0
Gramtica Tipo I
Gramtica Tipo II
Sin restricciones
Genera lenguajes recursivamente numerables
15
Unidad 8
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:
002: A
0001: A
0B 00A 002
0B 000B 0001
A
0
B
0
A
0
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
A
A
A
A
2
0B
0B
0B
0B
01
00A
00A
00A
002
000B
000B
0001
0000A
00002
16
Unidad 8
Por lo tanto, puede aparecer un 2 precedido de un nmero par de 0s un 1 precedido por un nmero impar de 1s.
Si se define un lenguaje L como:
L = { 0n 2 / n = 2.x }
y un lenguaje L2 = { 0 1 / a = 2.y + 1 }
entonces, el lenguaje generado por la gramtica se puede definir como
L(G) = L
0 1 / n = 2.xa = 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.
(L . L2) = { x = x.x | x
(L . L2) } =
= { 1a1a, ... , 1a8a, 1a1b, ... , 1b1a, ... , 8h8h }
4
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:
* b *, * aA, a a *,
A bA, A a, * 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:
*
b *, *
AAB, Aa
Bb ABb, AB ABB, B b,
ABa, a
aA,
y smbolo inicial *.
17
Unidad 8
c.
<S>
<A>
<B>
b <S> | a<A> | a
a <S> | b<B>
b <A> | a<S> | b,
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.
Comencemos por el concepto de 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. {
} es un lenguaje regular.
3. Si V es un alfabeto y a
L = { ab, ba }
L2 = { bb }
L
L2 = { ab, ba, bb }
L3 = V*
18
Unidad 8
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
0}
Sea A un alfabeto. Una expresin regular sobre A es un secuencia de elementos de A conectados por
los siguientes smbolos (,), , * que verifican:
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....
2. Sea el alfabeto A = {0, 1 }, la Expresin Regular (1 0) 1* representa al lenguaje de los nmeros
binarios que comienzan con un 1 un 0, el que puede o no ser seguido por 1 ms 1s.
Son palabras de este lenguaje: 1, 0, 11, 01, 111, 011, ....
Un Lenguaje Regular debe poder ser reconocido por un autmata finito.
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 8
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.
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.
Por ejemplo tomemos tres seales de entrada sucesivas:
1 peso
1 peso
1 peso
NADA
NADA
1 GASEOSA
20
Unidad 8
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; ; q; F) donde:
(q;x) = fx ( q ) describe, para cada elemento de V, el efecto que esa seal de entrada tiene en
los estados de la mquina.
Indicamos F = { fx : Q
Q con x
V}
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 transiciones .
Detengmonos ahora en los Autmatas Finitos Determinsticos.
21
Unidad 8
Un autmata finito determinstico (AFN) es una mquina de estado finito, que se define como:
la 5-upla M = (Q; V; ; q; F) donde:
Veamos algunos de los ejemplos de Mquinas de Estado Finito como reconocedoras de Lenguaje.
1) El autmata A = ({qo, q1 }; {0, 1};
(qo;0) = qo
(qo;1) = q1
(q1;0) = q1
(q1;1) = qo.
0
qo
1
qo
1
q1
0
qo
qo
22
Unidad 8
0
q
q
q1
q1
q
q1
(qi; a) = qj
1
q1
23
Unidad 8
2).
1
1
0
0
1
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
q1
q2
II.
0
q1
1
q2
24
Unidad 8
q1
q2
q3
*q
q1
q2
q1
q1
q2
q2
4. D la Tabla de trancisin
q1
a
b
b
q2
a
25
Unidad 8
Un autmata finito no determinstico es un autmata finito que puede realizar transiciones por la palabra
A = (Q; V; ; q; F) con = Q x (V {
}) P(Q)
Una transicin por la palabra , es un cambio de estado sin la intervencin de ningn carcter de la
palabra en estudio.
La transicin que se ejecuta en una etapa dada puede ser incierta pues nada lo determina, por eso
se dicen no determinstico.
Cada estado puede tener, en el diagrama de transicin, ms de una arista etiquetada con cada letra
del alfabeto V.
Para cualquier estado q se pueden tener cero ms alternativas a elegir como estado siguiente,
todas para el mismo smbolo de entrada.
Si A = (Q; V; ; q; F) es un autmata finito no determinstico, el lenguaje que acepta A se
indica L(A) y es regular.
Ejemplos:
Sea A = ( {qo, q1, q2 , q3, q4 }; { 0, 1}; ; qo; {q2 , q4 }), con
dada por
(qo; l) = {q1, q3 }
(q1; 0) = { q2 }
(q3; 1) = { q4 }
(q2; 0) = { q2 }
(q4; 1) = { q4 }
0
*
0
q
q2
q1
q3
q4
1
26
Unidad 8
Trat de ejercitar autmatas finitos no determinsticos; para ello te planteamos a continuacin una serie de ejercicios:
1) Grafic los diagramas de transicin de los autmatas finitos no determinsticos
a). A = ( {qo, q1, q2 }; { 0}; ; {q2}), con
0
*q
q1
q1
q2
q2
q2
dada por:
(qo; 0) = {qo, q1 }
(qo; 1) = {qo }
dada por:
(qo; 0) = {qo, q1 }
d). A = ( {qo, q1, q2, q3, q4 }; { 0, 1}; ; qo; {q2, q4}), con
(qo; 1) = {qo }
dada por:
dada por:
(a; 0) = {b }
(a; 1) = {a }
(b; 0) = {a }
(b; 1) = {c }
27
Unidad 8
(c; 0) = {a }
(c; 1) = {b }
28
Unidad 8