A formal language is an abstraction, idea or concept, token instances of which consist of symbols and finite strings of symbols which are constructed according to certain syntactic requirements. An essential feature of a formal language is that it must be defined entirely in terms of the shapes and positions of its symbols, and without any reference to their meanings. A formal language can be thought of as identical to its set of formulas.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:aboutProperty
  • Formal language
  • formal language as used in mathematics and computer science
  • formal languages as used in logic
dbpprop:abstract
  • A formal language is an abstraction, idea or concept, token instances of which consist of symbols and finite strings of symbols which are constructed according to certain syntactic requirements. An essential feature of a formal language is that it must be defined entirely in terms of the shapes and positions of its symbols, and without any reference to their meanings. A formal language can be thought of as identical to its set of formulas. If the set of all formulas of a formal language <math>\mathcal{L}</math> is identical to the set of all formulas of a formal language <math>\mathcal{L'}</math>, then <math>\mathcal{L}</math> is the same formal language as <math>\mathcal{L'}</math>; and if not, then it is not the same. Formal languages are basic objects of study in logic, metalogic, mathematical logic, proof theory, model theory and formal semantics.
dbpprop:date
  • 18 September 2009
dbpprop:logdate
  • 2009 September 18
dbpprop:page
  • Formal language (logic)
dbpprop:result
  • keep
dbpprop:substed
  • yes
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • A formal language is an abstraction, idea or concept, token instances of which consist of symbols and finite strings of symbols which are constructed according to certain syntactic requirements. An essential feature of a formal language is that it must be defined entirely in terms of the shapes and positions of its symbols, and without any reference to their meanings. A formal language can be thought of as identical to its set of formulas.
rdfs:label
  • Formal language (logic)
skos:subject
foaf:depiction
foaf:page
is dbpprop:col of
is dbpprop:disambiguates of