Lenguajes Formales
Depto. de Ing.Informática
Lenguajes Formales
Prof. José Alvarez G.
I.- Introducción
La Computación Simbólica, es el manejo(satisfactorio, adecuado), de símbolos que representan descripciones (modelos) que hacen referencias a otros objetos (semántica), mediante procedimientos explícitos (objetivos) finitos o algoritmos.En la consensualidad de la interacción humana, los símbolos adquieren su carácter perceptible y referencial (semántico) constituyendo una base para fundar acciones recurrentes satisfactorias de laspersonas.
En general, entendemos a un lenguaje como una forma de hablar o describir algo. Dentro de ellos, los lenguajes formales son aquellos que están basados en reglas bien definidas tal quedefinen con exactitud la pertenencia o no de palabras dadas.
Formalmente un lenguaje no es mas que "el conjunto de todas las palabras que pertenecen a él" (normalmente una cantidad infinita). Así, porejemplo, el lenguaje castellano, es el conjunto de todas las palabras, frases o discursos, correctamente formadas con símbolos del alfabeto castellano. Todo ello, sin importar el significado quealguien les pueda asociar.
El estudio de lenguajes formales; se refiere solo al estudio de sus propiedades intrínsecas e internas y no como herramienta que sirva a propositos.
1.1 Símbolos yalfabetos.
El fundamento de toda la computación simbólica es el símbolo
Def. Un símbolo es una unidad representacional básica estable y distinguible en un espacio determinado; un objeto discreto,primitivo bien definido.
Ejs. Son símbolos: 1 3 a r * ( ) j ...
(Obs: un símbolo genérico (a menos que se indique otra cosa), se denotará por σ).
Los símbolos permiten conformaralfabetos
Def. Un alfabeto (uno cualquiera denotado por Σ), es un conjunto finito, no vacío de símbolos. Es decir:
Σ’{σ1,σ2,.....σn} Donde si es un símbolo.
Ej. Son alfabetos :
{I}: Un...
Regístrate para leer el documento completo.