Diferencia entre revisiones de «Lenguaje formal»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiqueta: Revertido |
Sin resumen de edición Etiquetas: Revertido posibles pruebas |
||
Línea 1:
{{otros usos|Lenguaje formalizado}}nel esta mal
[[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 piramides y regala para unir esos símbolos que forman están formalmente especificados.<ref>{{cita enciclopedia |apellido=Mellema |nombre=Gregory |título=formal language |idioma=inglé/views/ENTRY.html?subview=Main&entry=t116.e929 |enciclopedia=The Oxford Companion to Philosophy |editorial=[[Oxford University Press]] |fechaacceso=13 de octubre de 2009}}</ref><ref>{{cita enciclopedia |apellido=Shapiro |nombre=Stewart |título=Classical Logic |idioma=inglés |url=http://plato.stanford.edu/archives/win2009/entries/logic-classical/ |enciclopedia=Stanford Encyclopedia of Philosophy |edición=Winter 2009 Edition |sined=sin |editor=Edward N. Zalta |cita=Again, a formal language is a recursively defined set of strings on a fixed alphabet.}}</ref> Al conjunto de los símbolos primitivos se lo llama el [[alfabeto]] (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la [[gramática formal]] (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una [[fórmula bien formada]] (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas.
BUSCA EN OTRA PLATAFORMA
Para algunos lenguajes formales existe una [[semántica formal]] que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los [[Lenguaje natural|lenguajes naturales]].
En algunos lenguajes formales, la ''palabra vacía'' (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante <math>\epsilon \,</math>, <math>e\,</math> o <math>\lambda \,</math>.
(Si el lenguaje es regular)
|