Lfa12 - Lenguaje Formales

Lenguajes Formales y Automatas
Jose Antonio Rodrguez Melquiades
17 de noviembre de 2014
Jos
e Antonio Rodrguez Melquiades
Lenguajes Formales y Aut

omatas
1 / 26
Gramatica y Lenguaje irrestricto
Gramatica irrestricta
Lenguaje irrestricto
MT como enumeradores de lenguajes
Jerarquia de Chomsky
Jos

omatas
2 / 26
Una gramatica G = (V , , R, S) es llamada irrestricta, si sus reglas no tienen

restricciones.
Las gramaticas regulares, libres del contexto y sensibles al contexto son casos
particulares de las Gramaticas Irrestrictas (GI)
Las GI admiten que las reglas en el lado derecho tengan una cantidad menor de
smbolos que el correspondiente lado izquierdo. Esto hace que durante la
producci
on exista una reducci
on en el tama
no de las formas sentenciales.
Jos

omatas
3 / 26
Ejemplo:
Sea L un lenguaje, cuya GI tiene las siguientes reglas:
S XAYZC
YZ B
ABC Y
X a
Y b
Y c
Jos

omatas
4 / 26
Ejemplo:
Sea L = {an b n c n /n 1} un lenguaje, cuya GI tiene las siguientes reglas:
S aAbc
A aAbC /
Cb bC
Cc cc
Derivar las palabras:
(a) w = abc
S aAbc abc
(b) w = aaabbbccc
S aAbc aaAbCbc aaaAbCbCbc aaabCbCbc aaabbC Cbc
aaabbCbCc aaabbbC Cc aaabbbCcc aaabbbccc
Jos

omatas
5 / 26
Ejemplo:
Sea L = {an b n c n /n 0} un lenguaje, cuya GI tiene las siguientes reglas:
S aSBC /
CB BC
aB ab
bB bb
bC bc
cC cc
(a) w = abc
(b) w = aaabbbccc
Jos

omatas
6 / 26
Ejemplo:
Sea L = {an b n an /n 1} un lenguaje, cuya GI tiene las siguientes reglas:
S aBSa/aBXa
Ba aB
BX Xb
aX a
(a) w = aba
S aBXa aXba aba
(b) w = aaabbbaaa
S aBSa . . .
Jos

omatas
7 / 26
Ejemplo:
Sea L = {an b 2n c 3n /n 1} un lenguaje, cuya GI tiene las siguientes reglas:
S aBSccc/aBccc
Ba aB
Bc bbc
Bb bbb
(a) w = abbccc
(b) w = aaabbbbbbccccccccc
Jos

omatas
8 / 26
Ejemplo:
n
Sea L = {a2 /n 0} un lenguaje, cuya GI tiene las siguientes reglas:

S MaA
A BA/
aB Baa
MB M
M
(a) w = aa
(b) w = aaaa
(c) w = aaaaaaaa
Jos

omatas
9 / 26
Ejemplo:
Sea
L = {wc m d n /w {a, b} , m indica cantidad de as en w, n indica cantidad de bs
en w }
un lenguaje, cuya GI tiene las siguientes reglas:
S AM
A aAC /bAD/
DC CD
DM d
Dd bb
CM c
Cd cd
Cc cc
M
Jos

omatas
10 / 26

(a) Sean w = aba, m = 2 y n = 1. Entonces w = abaccd
(b) Sean w = babb, m = 1 y n = 3. Entonces w = babbcddd
(c) Sean w = bababab, m = 3 y n = 4. Entonces w = babababcccdddd
Jos

omatas
11 / 26
Jos

omatas
12 / 26
Un lenguaje es irrestricto, tambien llamado recursivamente enumerable, si es

reconocido por una MT L. Es decir:
(1) w L, la MT M para y acepta la palabra w .
o ejecuta una sucesion
(2) z L, la MT M para y acepta la palabra z
infinita de movimientos.
Un lenguaje L es llamado estrictamente recursivamente enumerable, si para toda

MT M que acepta a L existe por lo menos una palabra z L, tal que M
inicie una sucesi
on interminable de movimientos en su proceso.
Jos

omatas
13 / 26
Los lenguajes recursivamente enumerables son caracterizados a partir de la MT.

Tambien son caracterizadas por medio de las GI.
Esta clase de lenguajes son importantes pues se aplican para el desarrollo teorico
de la computaci
on.
Jos

omatas
14 / 26
Jos

omatas
15 / 26

El termino recursivamente enumerable se refiere al hecho de que las sentencias de
un lenguaje de este tipo pueden ser enumeradas (listadas o contadas) mediante un
procedimiento mecanico: Un algoritmo o una MT.
Por lo tanto: Una MT M = (Q, , , , <, , q0 , F ) enumera un lenguaje cuando

sucede lo siguiente:
(a) M posee por lo menos dos cintas de entrada.
(b) Una de las cintas se usa para la grabaci
on (escritura) de las palabras
generadas sobre el alfabeto. En esta cinta, el cabezal de lectura se desplaza a
la derecha, los smbolos son escritos (grabados), y las palabras consecutivas
son separadas por el smbolo especial que no pertenece al alfabeto.
Jos

omatas
16 / 26
El conjunto de las palabras escritas por la MT M en la cinta de salida se denota

por E (M) y representa un lenguaje enumerado por M. E (M) puede finito o
infinito. En el caso infinito, el procesamiento de la MT M nunca para quedando
esta maquina siempre grabando nuevas palabras en la cinta de salida en forma
secuencial.
Los siguientes teoremas muestran que un lenguaje L es recursivamente

enumerable, si y solo si L es enumerada por una MT, es decir, L = E (M).
Teorema (enumeradas recursivamente enumerables): Sea L = E (M),
entonces L es recursivamente enumerable.
Idea de la prueba
Es suficiente demostrar que existe una MT N que acepta al lenguaje L. El
siguiente algoritmo muestra como construir la MT N a partir de la MT M.
Jos

omatas
17 / 26
Algoritmo 1
Entrada: Una MT M que enumera un lenguaje L.
Salida: Una MT N que acepta L.
(1) La MT N tiene dos cintas de entrada:
(1.1) En la primera cinta se graban las palabras de L, una a una, atraves de la
simulaci
on de M por N.
(1.2) En la segunda cinta se graba una palabra w que se desea verificar si ella
pertenece o no pertenece al lenguaje L.
(2) La MT N opera como la MT M: Genera una nueva palabra de L y la graba

en la cinta de salida.
(3) Antes de agregar el delimitador a la derecha y proceder a generar una
nueva palabra, la MT N compara la palabra w que esta contenida en la
segunda cinta con la palabra recien generada en la primera cinta.
(4) Si fuesen iguales, entonces la MT N para y acepta w. Caso contrario in a (2).
Jos

omatas
18 / 26
De acuerdo con el algoritmo, es claro que, si:

w L entonces w es aceptado por la MT N, pues w sera inevitablemente
generada y grabada por la MT N en la primera cinta en un tiempo finito.
Jos

omatas
19 / 26
De acuerdo con el algoritmo, es claro que, si:

w L entonces w es aceptado por la MT N, pues w sera inevitablemente
generada y grabada por la MT N en la primera cinta en un tiempo finito.
w
/ L, entonces la MT N puede parar rechazando w (en el caso en que L
fuese finita) o puede entrar en un proceso infinito, dentro del cual nuevas
palabras son sucesivamente generadas y comparadas con w (en el caso en
que L es infinita).
Jos

omatas
19 / 26
Teorema (recursivamente enumerables enumeradas): Sea L un lenguaje

recursivamente enumerable, entonces existe una MT N tal que L = E (N).
Idea de la prueba
Construir una MT N que simula una MT M. El siguiente algoritmo muestra como
construir la MT N.
Jos

omatas
20 / 26
Algoritmo 2
Entrada: Una MT M.
Salida: Una MT N que enumera L(M).
(1) La MT N genera una nueva palabra w , onde es el alfabeto de L.
(2) La palabra generada w es escrita en una cinta auxiliar (cinta 1) de la MT N.
(3) La cinta 2 de la MT N contiene una codificaci
on C (M) de la MT M.
(4) La MT N simula la MT M con una palabra w grabada en la cinta 1.
(5) En caso la MT M acepte la palabra w , entonces w es escrito en la cinta 3.
(6) Ir al paso (1).
Jos

omatas
21 / 26
El procedimiento del algoritmo 2 consiste en generar, de forma sistematica todas

las palabras de probando cada una de ellas en la MT M para determinar se
pertenecen o no al lenguaje L.
En caso afirmativo, ellas son individualmente copiadas para la cinta de salida de la

MT N, que de esa forma enumera las palabras de L, es decir, L = E (N).
Jos

omatas
22 / 26
Jos

omatas
23 / 26
La clase de lenguajes estudiados fueron en orden creciente de complejidad y
configuradas como conjuntos sucesivamente mas amplias, que han permitido
obtener una visi
on estructurada del tema.
Jos

omatas
24 / 26
obtener una visi
La aplicabilidad de los lenguajes formales y aut

omatas en los campos practico
y te
orico presenta gran relevancia en areas importantes de la ciencia de la
computaci
on.
Jos

omatas
24 / 26
obtener una visi
La aplicabilidad de los lenguajes formales y aut

omatas en los campos practico
y te
orico presenta gran relevancia en areas importantes de la ciencia de la
computaci
on.
Hemos estudiado los lenguajes formales y aut

omatas segun un orden
secuencial, desde los lenguajes regulares hasta los lenguajes recursivamente
enumerables, los cuales tienen sustento en la gramatica regular y la gramatica
irrrestricta, respectivamente. La siguiente figura muestra un resumen de los
principales resultados para cada clase de lenguaje.
Jos

omatas
24 / 26
Jos

omatas
25 / 26
Las gramaticas estudiadas son clasificadas en la denominada jerarquia de

Chomsky. Noam Chomsky de un linguista del Instituto de Tecnologia de
Massachusetts y autor de trabajos importantes sobre las propiedades matematicas
de los lenguajes formales.
Jos

omatas
26 / 26

Lfa12 - Lenguaje Formales

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lfa12 - Lenguaje Formales

Cargado por

Copyright:

Formatos disponibles

Lenguajes Formales y Automatas

Jose Antonio Rodrguez Melquiades

Lenguajes Formales y Aut

Gramatica y Lenguaje irrestricto

MT como enumeradores de lenguajes

Lenguajes Formales y Aut

Una gramatica G = (V , , R, S) es llamada irrestricta, si sus reglas no tienen

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Sea L = {a2 /n 0} un lenguaje, cuya GI tiene las siguientes reglas:

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Derivar las palabras:

Lenguajes Formales y Aut

Gramatica y Lenguaje irrestricto

MT como enumeradores de lenguajes

Lenguajes Formales y Aut

Un lenguaje es irrestricto, tambien llamado recursivamente enumerable, si es

Un lenguaje L es llamado estrictamente recursivamente enumerable, si para toda

Lenguajes Formales y Aut

Los lenguajes recursivamente enumerables son caracterizados a partir de la MT.

Lenguajes Formales y Aut

Gramatica y Lenguaje irrestricto

MT como enumeradores de lenguajes

Lenguajes Formales y Aut

MT como enumeradores de lenguajes

Por lo tanto: Una MT M = (Q, , , , <, , q0 , F ) enumera un lenguaje cuando

Lenguajes Formales y Aut

El conjunto de las palabras escritas por la MT M en la cinta de salida se denota

Los siguientes teoremas muestran que un lenguaje L es recursivamente

Lenguajes Formales y Aut

(2) La MT N opera como la MT M: Genera una nueva palabra de L y la graba

Lenguajes Formales y Aut

De acuerdo con el algoritmo, es claro que, si:

Lenguajes Formales y Aut

De acuerdo con el algoritmo, es claro que, si:

Lenguajes Formales y Aut

Teorema (recursivamente enumerables enumeradas): Sea L un lenguaje

Lenguajes Formales y Aut

Lenguajes Formales y Aut

El procedimiento del algoritmo 2 consiste en generar, de forma sistematica todas

En caso afirmativo, ellas son individualmente copiadas para la cinta de salida de la

Lenguajes Formales y Aut

Gramatica y Lenguaje irrestricto

MT como enumeradores de lenguajes

Lenguajes Formales y Aut

Lenguajes Formales y Aut

La aplicabilidad de los lenguajes formales y aut

Lenguajes Formales y Aut

La aplicabilidad de los lenguajes formales y aut

Hemos estudiado los lenguajes formales y aut

Lenguajes Formales y Aut

Lenguajes Formales y Aut

Las gramaticas estudiadas son clasificadas en la denominada jerarquia de

Lenguajes Formales y Aut

También podría gustarte