Repblica Bolivariana de Venezuela

Ministerio Del Poder Popular para la Educacin Universitaria, Ciencia y Tecnologa

Universidad Dr. Jos Gregorio Hernndez
Facultad de Ingeniera
Maracaibo Estado Zulia

TEORIA DE LA COMPUTACION

Realizado Por:
Ronald Torrecilla
C.I. V-18.987.304
GRUPO # 2

INTRODUCCIN

Para gramticas sensibles al contexto, el problema de decidir si el lenguaje

que genera es vaco o no tambin es un problema indecidible. Los lenguajes libres
de contexto tienen una aplicacin a los compiladores, aunque existen otras
aplicaciones como la comparticin de informacin. Segn Chomsky, los tipos de
lenguajes formales pueden dividirse en tres: de estados finitos (o regulares), de
estructura de frase (o libres de contexto) y transformacionales (o sensibles al
contexto). Tal clasificacin es conocida como la jerarqua de Chomsky (JCh). El
principal objetivo de Chomsky (1956) y su jerarqua era demostrar que los dos
primeros tipos de gramticas son incapaces de dar cuenta, de manera simple y
general, de la complejidad de las lenguas naturales. En particular, Chomsky
demostr que el ingls presenta propiedades que no pueden ser reflejadas ni por
gramticas de estados finitos ni por gramticas de estructura de frase.

ESQUEMA

1.
2.
3.
4.
5.

Lenguaje Sensible de Contexto

Aplicaciones clsica problema de la parada
Problema insolubles algortmicamente
Tcnicas de Anlisis Lxico
Tcnicas de Anlisis Sintctico

DESARROLLO

1. Lenguaje Sensible de Contexto

Este tipo de lenguajes son definidos por las gramticas sensibles del contexto,
dichas gramticas definen esta clase intermedia de lenguajes, que se sitan entre
los lenguajes libres de contexto y los lenguajes recursivos. Casi cualquier lenguaje
que uno pueda concebir es sensible al contexto, a excepcin de los lenguajes
recursivos Las reglas son de la forma , donde y no permiten de una
produccin, i.e., no se permite la palabra vaca tanto para el lado izquierdo como
para el lado derecho. Sin embargo, pueden contener cualquier cantidad de
variables (no terminales) y constantes (terminales). Las gramticas sensitivas del
contexto son estrictamente ms poderosas que las gramticas libres del contexto;
un ejemplo es el lenguaje de las cadenas de la forma {a n b n c n}, para el que no
hay ninguna gramtica libre de contexto (GLC).
El concepto de la gramtica sensible al contexto fue introducido cerca Noam
Chomsky en los aos 50 como manera de describir el sintaxis de lengua natural
donde est de hecho a menudo el caso que una palabra puede o no puede ser
apropiada en cierto lugar dependiendo del contexto. A lenguaje formal eso se
puede describir por una gramtica sensible al contexto se llama a lengua sensible
al contexto.
Son las que generan los lenguajes sensibles al contexto. Los lenguajes
sensibles al contexto son aquellos que pueden ser reconocidos por las Autmatas
Linealmente Acotados ALA. En forma general toda gramtica se define mediante
una cudrupla G=(N,T, P,S), siendo -N es un conjunto finito de smbolos no
terminales -T es un conjunto finito de smbolos terminales N T= -P es un
conjunto finito de reglas de produccin -S Smbolo distinguido o Axioma S (N
T).

2. Aplicaciones clsica problema de la parada

El problema de la parada o problema de la detencin (halting problem en

ingls) para mquinas de Turing consiste en: dada una MT M y una palabra w,
determinar si M terminar en un nmero finito de pasos cuando se ejecuta
usando w como entrada.
Alan Turing, en su famoso artculo On computable numbers, with an application to
the Entscheidungs problem (1936), demostr que el problema de la parada de la
mquina de Turing es indecidible, en el sentido de que ninguna mquina de Turing
lo puede resolver.
3. Problema insolubles algortmicamente
Un problema de decisin (PD) es aquel formulado por una pregunta
(referida a alguna propiedad) que requiere una respuesta de tipo si/no.
Problemas de decisin.
Un problema de decisin es
Soluble si existe un algoritmo total para determinar si la propiedad es verdadera
(Existe una MT que siempre para al resolver el problema).
Parcialmente soluble si existe un algoritmo parcial para determinar si la propiedad
es verdadera (existe una MT que resuelve el problema, pero puede no parar).
Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es
verdadera (no existe una MT),
Ejemplos de problemas de decisin:
Existe un algoritmo para decidir si un nmero natural cualquiera es par?
Si es soluble.
Existe un algoritmo para decidir si dos autmatas finitos cualesquiera son
equivalentes?
Si es un problema soluble.

Existe un algoritmo para determinar si una gramtica es ambigua o no?

No es insoluble.
Muchos problemas insolubles son paradjicos en su naturaleza. Ej: la paradoja de
Russell.
Un peluquero afecta a todas las personas que no se afectan a si mismas. El
peluquero: se afeita as mismo? (insoluble).
4. Tcnicas de Anlisis Lxico
El analizador lxico es la primera fase de un compilador. Su principal funcin
consiste en leer los caracteres de entrada y elaborar como salida una secuencia
de componentes lxicos que utiliza el analizador sintctico para hacer el anlisis.
Como el analizador lxico es la parte del compilador que lee el texto fuente,
tambin puede realizar ciertas funciones secundarias en la interfaz del usuario,
como eliminar del programa fuente comentarios y espacios en blanco en forma de
caracteres de espacio en blanco, caracteres TAB y de lnea nueva. Otra funcin es
relacionar los mensajes de error del compilador con el programa fuente.
Esta etapa est basada usualmente en una mquina de estados finitos. Esta
mquina contiene la informacin de las posibles secuencias de caracteres que
puede conformar cualquier token que sea parte del lenguaje (las instancias
individuales de estas secuencias de caracteres son denominados lexemas). Por
ejemplo, un token de naturaleza entero puede contener cualquier secuencia de
caracteres numricos.
Hay varias razones para dividir la fase de anlisis de la compilacin en anlisis
lxico y anlisis sintctico.
Un diseo sencillo es quiz la consideracin ms importante. Separar el anlisis
lxico del anlisis sintctico a menudo permite simplificar una u otra de dichas
fases.

Se mejora la eficiencia del compilador. Un analizador lxico independiente permite

construir un procesador especializado y potencialmente ms eficiente para esta
funcin. Gran parte de tiempo se consume en leer el programa fuente y dividirlo en
componentes lxicos. Con tcnicas especializadas de manejo de buffer para la
lectura de caracteres de entrada y procesamiento de componentes lxicos se
puede mejorar significativamente el rendimiento de un compilador.
Se mejora la transportabilidad del compilador. Las peculiaridades del alfabeto de
entrada y otras anomalas propias de los dispositivos pueden limitarse al
analizador lxico.
5. Tcnicas de Anlisis Sintctico
Es el anlisis de las funciones sintcticas o relaciones de concordancia y
jerarqua

que

guardan

las palabras agrupndose

entre

en sintagmas, oraciones simples y compuestas de proposiciones o nexos. Como

no est muchas veces claro el lmite entre la sintaxis y la morfologa a estos
respectos, especialmente segn el tipo de lengua de que se trate, tambin se
suele denominar anlisis morfosintctico, aunque esta denominacin se suele
reservar para un anlisis ms profundo y detenido.

CONCLUSION
En este trabajo he explorado la relacin entre la jerarqua de Chomsky, he
expuesto cmo es posible implementar la idea de que el cambio lingstico se

manifiesta de manera progresiva en los diversos estratos de la gramtica, en

trminos diacrnicos. Este planteamiento no es incompatible con el supuesto de
que la adquisicin y la evolucin del lenguaje son, en sus aspectos fundamentales,
espontneas y, al mismo tiempo, nos permite reflejar de una manera plausible
cmo tiene lugar el cambio lingstico.

BIBLIOGRAFIA
https://teoriacomputacion.wordpress.com/2014/04/30/maquina-de-turing/
http://www.sc.ehu.es/jiwnagom/MAC1-ALF/MAC-archivos/Tema3.pdf
http://uncomp.uwe.ac.uk/genaro/Papers/Veranos_McIntosh_files/lenguajesNivardo
AMC2011.pdf
http://lorien.die.upm.es/juancho/pfcs/DPF/capitulo2.pdf