Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Ortografía |
||
Línea 1:
En [[lógica matemática]], una '''fórmula bien formada''', también llamada '''palabra''', '''expresión''' o '''fórmula''', y a menudo abreviada '''fbf''', es una [[cadena de
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 carácteres ''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.
| |||