Gramática formal
La 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. Es decir que 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.
Entonces podemos
decir que la 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.
0 comentarios:
Publicar un comentario