Apunte Te rico 1

Sintaxis y Semántica del Lenguaje
Estudio de las Ciencias de la Computación desde un punto de vista teórico.

El estudio de los fundamentos teóricos de la informática, conocidos como Informática Teórica, es un
componente esencial del diseño curricular destinado a formar Ingenieros en Sistemas de Información. Para
poder seguir evolucionando, las ciencias de la computación dependen de que seconstruyan computadoras,
sistemas, programas y lenguajes que se comporten en la forma que desearon sus diseñadores. Surge aquí
la necesidad de que el profesional en sistemas sea capaz de describirlos en forma precisa y de caracterizar
correctamente su comportamiento.
Más precisamente se requiere: especificar formalmente programas, lenguajes y sistemas; desarrollar
métodos que prueben la corrección delos mismos; y, encontrar formalismos semánticos que provean
sustento matemático para el desarrollo de teorías básicas sobre comportamiento de programas y sistemas.
En lo referido a las máquinas que manejan información (computadoras, redes de comunicación, etc.) es
necesario comprender su comportamiento, investigar su real poderío, y determinar los límites en las tareas
que ellas pueden realizar.
Lospuntos indicados precedentemente son áreas dentro de las ciencias de la computación. Para
estudiarlas o para contribuir a su desarrollo, es preciso contar con conocimientos de tipo más abstracto y
básico.
Atendiendo a estos requerimientos, en el dictado de la asignatura se presentan al futuro profesional
modelos abstractos que sirven de fundamento teórico a lenguajes de programación y máquinasreales,
orientando en particular el estudio hacia los formalismos que sustentan las etapas de análisis léxico y
sintáctico en el proceso de compilación de un programa.
Se propone el estudio de dos abstracciones:
Ι. Lenguajes Abstractos
 

Una consideración importante es la distinción entre lenguajes abstractos o formales, que son los que se
estudiarán en esta asignatura, y lenguajes naturales(inglés, español, etc.). Se puede decir que la diferencia
estriba en que los lenguajes formales (como pueden ser los lenguajes de programación) obedecen a reglas
preestablecidas y por tanto, se ajustan a ellas, no evolucionan y han sido creados para un fin específico. Sin
embargo, los lenguajes naturales (utilizados por el hombre) existen "per se" y las reglas gramaticales que
rigen su estructura hansido desarrollados con posterioridad para explicar esta última.
Los lingüistas han buscado largamente la manera de establecer formalmente la gramática de los
lenguajes naturales como una forma de explicar la tremenda habilidad que poseen los seres humanos para
interpretar sentencias que nunca antes han escuchado. Si bien estos estudios han fallado en su cometido de
producir gramáticas para loslenguajes naturales, nos han brindado una cantidad considerable de
conocimiento acerca de clases de lenguajes abstractos.
Qué es un lenguaje abstracto? Un conjunto de sentencias o secuencias, que satisfacen ciertas
propiedades o reglas de construcción. Las secuencias en sí mismas son secuencias finitas de símbolos
extraídos de un conjunto denominado alfabeto del lenguaje.
Un lenguaje puede ser tansimple como una secuencia de ceros y unos, o tan complejo como toda la
colección de programas que puedan escribirse siguiendo las reglas de algún lenguaje de programación.
ΙΙ. Máquinas Abstractas o Autómatas
 

 

Una máquina abstracta o autómata es un dispositivo teórico capaz de recibir y transmitir información.
Para realizar esta labor manipula cadenas de símbolos que se le presentan a la entradaproduciendo otras
tiras o cadenas de símbolos a su salida mediante un conjunto de estados que contienen la información
necesaria para poder deducir, dado un símbolo de entrada, cuál será el símbolo de salida en cada momento.
La primera noción de máquina abstracta de procesamiento de información fue concebida por Turing.
Definición precisa del término algoritmo → Un procedimiento que puede ser...