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 caracteres generada según una gramática formal a partir de un 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.
rdfs:comment |
|
foaf:depiction | |
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
dbpedia-owl:thumbnail | |
prov:wasDerivedFrom | |
Is dbpedia-owl:wikiPageDisambiguates of | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | [12 values] |
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink | [16 values] |
Is dbpedia-owl:wikiPageWikiLink of | [64 values] |