Depiction of Fórmula Bien Formada

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
  • 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. (es)
foaf:depiction
foaf:isPrimaryTopicOf
rdfs:label
  • Fórmula bien formada (es)
Is foaf:primaryTopic of
dcterms:subject
dbpedia-owl:thumbnail
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1973012 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2003 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 18 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of [12 values]
dbpedia-owl:wikiPageRevisionID
  • 68881102 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [16 values]
Is dbpedia-owl:wikiPageWikiLink of [64 values]