Miembro : Login |Registro |Subir conocimiento
Buscar
Lenguaje formal [Modificación ]
En matemáticas, ciencias de la computación y lingüística, un lenguaje formal es un conjunto de cadenas de símbolos junto con un conjunto de reglas que son específicas para él.
El alfabeto de un lenguaje formal es el conjunto de símbolos, letras o fichas a partir del cual se pueden formar las cuerdas del idioma. Las cadenas formadas a partir de este alfabeto se llaman palabras, y las palabras que pertenecen a un lenguaje formal particular a veces se llaman palabras bien formadas o fórmulas bien formadas. Un lenguaje formal a menudo se define por medio de una gramática formal, como una gramática regular o gramática sin contexto, también llamada su regla de formación.
El campo de la teoría del lenguaje formal estudia principalmente los aspectos puramente sintácticos de dichos lenguajes, es decir, sus patrones estructurales internos. La teoría formal del lenguaje surgió de la lingüística, como una forma de entender las regularidades sintácticas de los lenguajes naturales. En informática, los lenguajes formales se utilizan entre otros como base para definir la gramática de los lenguajes de programación y las versiones formalizadas de subconjuntos de lenguajes naturales en los que las palabras del lenguaje representan conceptos que están asociados con significados particulares o semántica. En la teoría de la complejidad computacional, los problemas de decisión generalmente se definen como lenguajes formales, y las clases de complejidad se definen como los conjuntos de lenguajes formales que pueden ser analizados por máquinas con poder computacional limitado. En la lógica y los fundamentos de las matemáticas, los lenguajes formales se usan para representar la sintaxis de los sistemas axiomáticos, y el formalismo matemático es la filosofía de que todas las matemáticas se pueden reducir a la manipulación sintáctica de los lenguajes formales de esta manera.
[Registrarse: sociolingüística][Matemáticas][Conjunto: matemáticas][Lenguaje de programación][Semántica][Teoría de la complejidad computacional][Lógica]
1.Historia
2.Palabras sobre un alfabeto
3.Definición
4.Ejemplos
4.1.Construcciones
5.Formalismos lingüísticos
6.Operaciones en idiomas
7.Aplicaciones
7.1.Lenguajes de programación
7.2.Teorías, sistemas y pruebas formales
7.2.1.Interpretaciones y modelos
[Subir Más Contenido ]


Derechos de autor @2018 Lxjkh