About: Quotient automaton

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In computer science, in particular in formal language theory, a quotient automaton can be obtained from a given nondeterministic finite automaton by joining some of its states. The quotient recognizes a superset of the given automaton; in some cases, handled by the Myhill–Nerode theorem, both languages are equal.

Property	Value
dbo:abstract	In computer science, in particular in formal language theory, a quotient automaton can be obtained from a given nondeterministic finite automaton by joining some of its states. The quotient recognizes a superset of the given automaton; in some cases, handled by the Myhill–Nerode theorem, both languages are equal. (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Quotient_automaton_a,b,c,d.gif?width=300
dbo:wikiPageID	50558197 (xsd:integer)
dbo:wikiPageLength	6942 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	952650200 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Myhill–Nerode_theorem dbr:Nondeterministic_finite_automaton dbr:Regular_expression dbr:Quotient_category dbr:Quotient_group dbr:Equivalence_class dbr:Alphabet_(computer_science) dbr:Computer_science dbr:String_(computer_science) dbr:Tuple dbc:Finite_automata dbr:Equivalence_relation dbr:Finitary_relation dbr:Formal_language_theory dbr:Formal_language dbr:Set_(mathematics) dbr:Kleene_star dbr:Finite-state_machine dbr:File:Quotient_automaton_a,b,c,d.gif dbr:File:Quotient_automaton_a=b,c,d.gif dbr:File:Quotient_automaton_a=b,c=d.gif dbr:File:Quotient_automaton_a=b=c=d.gif
dbp:b	0 (xsd:integer) f (en)
dbp:p	A (en) C (en)
dbp:wikiPageUsesTemplate	dbt:Not_a_typo dbt:Reflist dbt:Rp dbt:Su
dct:subject	dbc:Finite_automata
rdfs:comment	In computer science, in particular in formal language theory, a quotient automaton can be obtained from a given nondeterministic finite automaton by joining some of its states. The quotient recognizes a superset of the given automaton; in some cases, handled by the Myhill–Nerode theorem, both languages are equal. (en)
rdfs:label	Quotient automaton (en)
owl:sameAs	yago-res:Quotient automaton wikidata:Quotient automaton https://global.dbpedia.org/id/2NpdD
prov:wasDerivedFrom	wikipedia-en:Quotient_automaton?oldid=952650200&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Quotient_automaton_a,b,c,d.gif wiki-commons:Special:FilePath/b,c,d.gif wiki-commons:Special:FilePath/d.gif
foaf:isPrimaryTopicOf	wikipedia-en:Quotient_automaton
is dbo:wikiPageWikiLink of	dbr:Induction_of_regular_languages
is foaf:primaryTopic of	wikipedia-en:Quotient_automaton