Gramática formal
Una gramática formal es una
estructura matemática con un conjunto de reglas de formación que definen las
cadenas de caracteres admisibles en un determinado lenguaje formal o lengua
natural. Las gramáticas formales aparecen en varios contextos diferentes: la
lógica matemática, las ciencias de la computación y la lingüística teórica,
frecuentemente con métodos e intereses divergentes.
En un lenguaje formal, a las cadenas
formadas según las reglas de la gramática formal se las llama fórmulas bien
formadas, y el conjunto de todas las fórmulas bien formadas constituye un
lenguaje formal. Una gramática formal no describe el significado de las
fórmulas bien formadas, sino solamente su forma. La teoría de los lenguajes
formales estudia las gramáticas formales y los lenguajes formales, y es una
rama de la matemática aplicada. Sus aplicaciones se encuentran en la ciencia
computacional teórica, la lingüística, la semántica formal, la lógica
matemática y otras áreas.
Comentarios
Publicar un comentario