Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
Jugar un papel => desempeñar/tener un papel |
mSin resumen de edición |
||
Línea 1:
[[Archivo:Entidades sintácticas 2.svg|thumb|230px|right|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]], las fórmulas bien formadas y los [[teorema]]s. En algunos [[Sistema deductivo|sistemas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]
En [[lógica matemática]], una '''fórmula ''bien formada''''', también llamada '''expresión bien formada''', y a menudo abreviada '''fbf''' o '''EBF''', es una [[cadena de caracteres]] o [[palabra (matemáticas)|palabra]] generada según una [[gramática formal]] a partir de un [[vocabulario (lógica)|alfabeto]] dado. Un [[lenguaje formal]] se define como el conjunto de todas sus fórmulas bien formadas.
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 cadenas que tienen el mismo número de caracteres ''a'' que ''b''. Entonces, algunas fórmulas bien formadas del [[lenguaje]] serían: ''ab'', ''ba'', ''abab'', ''ababba'', etc. El lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.
| |||