Diferencia entre revisiones de «Lenguaje formal»
Contenido eliminado Contenido añadido
Error ortográfico corregido Etiquetas: Edición desde móvil Edición vía web móvil |
Errores Ortografíacos Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
||
Línea 2:
[[Archivo:Entidades sintácticas 3.svg|thumb|230px|right|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]], las [[Fórmula bien formada|fórmulas bien formadas]] y los [[teorema]]s. En algunos [[sistema formal|sistemas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]
En [[matemáticas]], [[lógica]] y [[ciencias de la computación]], un '''lenguaje formal''' es un [[lenguaje]] cuyos símbolos son primitivos y reglas para unir esos símbolos están
Por ejemplo, un alfabeto podría ser el conjunto {''a'',''b''}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos ''a'' que ''b''. Entonces, algunas fórmulas bien formadas del lenguaje serían: ''ab'', ''ba'', ''abab'', ''ababba'', etc., y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.
|