About: Tree automaton

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

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/DFA_example_multiplies_of_3.svg?width=300
dbo:wikiPageExternalLink	http://lethal.sourceforge.net/ https://people.irisa.fr/Thomas.Genet/timbuk http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/ https://hal.inria.fr/hal-03367725/document%7C http://www.grappa.univ-lille3.fr/~filiot/tata/ http://afp.sourceforge.net/entries/Tree-Automata.shtml
dbo:wikiPageWikiLink	dbr:S2S_(mathematics) dbc:Trees_(data_structures) dbr:Regular_grammar dbr:Tree_structure dbc:Automata_(computation) dbr:Courcelle's_theorem dbr:Infinite-tree_automaton dbr:Arity dbr:Deterministic_finite_automaton dbc:Theoretical_computer_science dbc:Formal_languages dbr:Production_(computer_science) dbr:Equivalence_relation dbr:Myhill–Nerode_theorem dbr:Ground_term dbr:String_(computer_science) dbr:Finite-state_transducer dbr:Deterministic_automaton dbr:Regular_tree_grammar dbr:Alternating_tree_automata dbr:Monadic_second-order_logic dbr:Ranked_alphabet dbr:Finite-state_automata dbr:State_machine dbr:Regular_tree_language dbr:File:DFA_example_multiplies_of_3.svg dbr:Tree_transducers
dbp:wikiPageUsesTemplate	dbt:Formal_languages_and_grammars dbt:Cite_book dbt:Reflist dbt:Math dbt:Color dbt:Dead_link dbt:Sfn dbt:For dbt:Cite_arXiv dbt:Harvid dbt:Webarchive
dct:subject	dbc:Trees_(data_structures) dbc:Automata_(computation) dbc:Theoretical_computer_science dbc:Formal_languages
gold:hypernym	dbr:Machine
rdfs:label	Tree automaton (en) Automate d'arbres (fr) Autómato de árvore (pt)
owl:sameAs	freebase:Tree automaton wikidata:Tree automaton dbpedia-fr:Tree automaton dbpedia-pt:Tree automaton dbpedia-fa:Tree automaton dbpedia-vi:Tree automaton dbpedia-global:Tree automaton dbr:Tree automaton
prov:wasDerivedFrom	wikipedia-en:Tree_automaton?oldid=1282141760&ns=0
foaf:depiction	wiki-commons:Special:FilePath/DFA_example_multiplies_of_3.svg
foaf:isPrimaryTopicOf	wikipedia-en:Tree_automaton
is dbo:wikiPageRedirects of	dbr:Bottom-up_tree_automaton dbr:DFTA dbr:Deterministic_finite_tree_automaton dbr:Deterministic_tree_automaton dbr:Nondeterministic_finite_tree_automaton dbr:Nondeterministic_tree_automaton dbr:Tree_automata dbr:Tree_language dbr:Pumping_lemma_for_regular_tree_languages dbr:Top-down_tree_automaton
is dbo:wikiPageWikiLink of	dbr:List_of_computability_and_complexity_topics dbr:NFTA dbr:S2S_(mathematics) dbr:Automata_theory dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Alternating_finite_automaton dbr:Courcelle's_theorem dbr:Malware_research dbr:Infinite-tree_automaton dbr:Finite-state_machine dbr:Bottom-up_tree_automaton dbr:Tree-walking_automaton dbr:Regular_language dbr:Bottom-up dbr:Pebble_automaton dbr:Regular_tree_grammar dbr:Monadic_second-order_logic dbr:List_of_important_publications_in_theoretical_computer_science dbr:DFTA dbr:Deterministic_finite_tree_automaton dbr:Deterministic_tree_automaton dbr:Nondeterministic_finite_tree_automaton dbr:Nondeterministic_tree_automaton dbr:Tree_automata dbr:Tree_language dbr:Pumping_lemma_for_regular_tree_languages dbr:Top-down_tree_automaton
is foaf:primaryTopic of	wikipedia-en:Tree_automaton