About: Infinite-tree automaton

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Mathematical structure

Property	Value
dbo:description	mathematical structure (en)
dbo:wikiPageWikiLink	dbr:S2S_(mathematics) dbc:Trees_(data_structures) dbr:Muller_automaton dbc:Automata_(computation) dbr:Maurice_Nivat dbr:Tree_(set_theory) dbr:Jan_van_Leeuwen dbr:Tree_automaton dbr:Computer_science dbr:Michael_O._Rabin dbr:Mathematical_logic dbr:Ω-automaton dbr:Rabin_automaton dbr:Monadic_second-order_logic dbr:Omega_automaton dbr:Streett_automaton dbr:State_machine dbr:Parity_automaton dbr:Ω-automata
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:More_footnotes dbt:Short_description
dct:subject	dbc:Trees_(data_structures) dbc:Automata_(computation)
rdfs:label	Infinite-tree automaton (en) Automate d'arbres infinis (fr) Autômato de árvore infinita (pt)
owl:sameAs	wikidata:Infinite-tree automaton dbpedia-fr:Infinite-tree automaton dbpedia-pt:Infinite-tree automaton dbpedia-fa:Infinite-tree automaton dbpedia-sr:Infinite-tree automaton dbpedia-global:Infinite-tree automaton dbr:Infinite-tree automaton
prov:wasDerivedFrom	wikipedia-en:Infinite-tree_automaton?oldid=1283538283&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Infinite-tree_automaton
is dbo:knownFor of	dbr:Michael_O._Rabin
is dbo:wikiPageRedirects of	dbr:Infinite_tree_automaton dbr:Rabin's_tree_theorem
is dbo:wikiPageWikiLink of	dbr:S2S_(mathematics) dbr:Brzozowski_derivative dbr:Tree_automaton dbr:Michael_O._Rabin dbr:Infinite_tree_automaton dbr:Ω-automaton dbr:Rabin's_tree_theorem
is dbp:knownFor of	dbr:Michael_O._Rabin
is foaf:primaryTopic of	wikipedia-en:Infinite-tree_automaton

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International