Language equation (original) (raw)

About DBpedia

Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than numbers. Instead of arithmetic operations in numerical equations, the variables are joined by language operations. Among the most common operations on two languages A and B are the set union A ∪ B, the set intersection A ∩ B, and the concatenation A⋅B. Finally, as an operation taking a single operand, the set A* denotes the Kleene star of the language A. Therefore language equations can be used to represent formal grammars, since the languages generated by the grammar must be the solution of a system of language equations.

thumbnail

Property Value
dbo:abstract Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than numbers. Instead of arithmetic operations in numerical equations, the variables are joined by language operations. Among the most common operations on two languages A and B are the set union A ∪ B, the set intersection A ∩ B, and the concatenation A⋅B. Finally, as an operation taking a single operand, the set A* denotes the Kleene star of the language A. Therefore language equations can be used to represent formal grammars, since the languages generated by the grammar must be the solution of a system of language equations. (en)
dbo:thumbnail wiki-commons:Special:FilePath/DFAexample.svg?width=300
dbo:wikiPageExternalLink http://www.math.utu.fi/dlt2007/tale/
dbo:wikiPageID 8031241 (xsd:integer)
dbo:wikiPageLength 9388 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1087567625 (xsd:integer)
dbo:wikiPageWikiLink dbr:Nondeterministic_finite_automaton dbr:Set_constraint dbc:Equations dbr:Arden's_rule dbr:Juhani_Karhumäki dbr:Concatenation dbr:Context-free_grammar dbr:RE-complete dbr:Equation dbr:Franz_Baader dbr:Conjunctive_grammar dbr:Operand dbr:Henry_Gordon_Rice dbr:Albert_R._Meyer dbr:Alternating_finite_automaton dbr:Fixed-point_iteration dbr:Formal_languages dbr:Formal_grammar dbr:Joseph_Halpern dbr:Janusz_Brzozowski_(computer_scientist) dbr:Ashok_K._Chandra dbc:Formal_languages dbr:John_Horton_Conway dbr:Boolean_grammar dbr:Conjunctive_grammars dbr:Seymour_Ginsburg dbr:Kleene_star dbr:Rohit_Parikh dbr:Set_intersection dbr:Set_union dbr:EXPTIME-complete dbr:File:DFAexample.svg dbr:Michal_Kunc
dbp:wikiPageUsesTemplate dbt:Cn dbt:Reflist dbt:Rp dbt:Clarify_span dbt:Settheory-stub dbt:Comp-sci-theory-stub
dct:subject dbc:Equations dbc:Formal_languages
gold:hypernym dbr:Statements
rdf:type yago:Abstraction100002137 yago:Communication100033020 yago:Equation106669864 yago:Language106282651 yago:MathematicalStatement106732169 yago:Message106598915 yago:Statement106722453 yago:WikicatEquations yago:WikicatFormalLanguages
rdfs:comment Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than numbers. Instead of arithmetic operations in numerical equations, the variables are joined by language operations. Among the most common operations on two languages A and B are the set union A ∪ B, the set intersection A ∩ B, and the concatenation A⋅B. Finally, as an operation taking a single operand, the set A* denotes the Kleene star of the language A. Therefore language equations can be used to represent formal grammars, since the languages generated by the grammar must be the solution of a system of language equations. (en)
rdfs:label Language equation (en)
owl:sameAs freebase:Language equation yago-res:Language equation wikidata:Language equation https://global.dbpedia.org/id/4q1AW
prov:wasDerivedFrom wikipedia-en:Language_equation?oldid=1087567625&ns=0
foaf:depiction wiki-commons:Special:FilePath/DFAexample.svg
foaf:isPrimaryTopicOf wikipedia-en:Language_equation
is dbo:wikiPageWikiLink of dbr:Arden's_rule dbr:Juhani_Karhumäki dbr:Index_of_philosophy_articles_(I–Q) dbr:Conjunctive_grammar dbr:Boolean_grammar
is foaf:primaryTopic of wikipedia-en:Language_equation