This HTML5 document contains 71 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n27http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
n6http://www.grappa.univ-lille3.fr/~filiot/tata/
n26https://global.dbpedia.org/id/
n17https://hal.inria.fr/hal-03367725/
n23http://afp.sourceforge.net/entries/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n22http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/
n21http://lethal.sourceforge.net/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n14https://people.irisa.fr/Thomas.Genet/

Statements

Subject Item
dbr:Tree_automaton
rdf:type
dbo:Software
rdfs:label
Tree automaton Automate d'arbres Autómato de árvore
rdfs:comment
En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de caractères pour les automates plus conventionnels, comme les automates finis. Um autómato de árvore é um tipo de máquina de estados que lida com estruturas em árvore (de topologia em árvore), ao invés de strings como as máquinas de estado mais convencionais. Tal como acontece com os autómatos clássicos, um autómato de árvores finito (FTA) pode ser um autómato determinístico ou não. De acordo com a maneira que o autómato processa a árvore de entrada, o autómato de árvores finito pode ser de dois tipos: (a) bottom-up, (b) top-down. Essa é uma questão importante, pois apesar de os autómatos finitos de árvore não-determinísticos bottom-up e top-down serem equivalentes em poder expressivo, os autómatos determinísticos top-down são estritamente menos poderosos do que seus homólogos em bottom-up, por que as propriedades especificadas pelo autómato de árvores determinístico A tree automaton is a type of state machine. Tree automata deal with tree structures, rather than the strings of more conventional state machines. The following article deals with branching tree automata, which correspond to regular languages of trees.
foaf:depiction
n9:DFA_example_multiplies_of_3.svg
dcterms:subject
dbc:Formal_languages dbc:Theoretical_computer_science dbc:Automata_(computation) dbc:Trees_(data_structures)
dbo:wikiPageID
98748
dbo:wikiPageRevisionID
1124441747
dbo:wikiPageWikiLink
dbr:Finite-state_transducer dbr:State_machine dbr:Finite-state_automata dbr:Deterministic_finite_automaton dbr:Ranked_alphabet dbr:Tree_transducers dbr:Equivalence_relation dbr:Regular_grammar dbr:Alternating_tree_automata dbr:Myhill–Nerode_theorem dbr:Ground_term dbc:Theoretical_computer_science dbr:Regular_tree_language dbr:Monadic_second-order_logic dbr:Deterministic_automaton dbc:Automata_(computation) dbr:Regular_tree_grammar dbc:Formal_languages dbr:Infinite-tree_automaton dbr:String_(computer_science) dbr:Arity dbr:S2S_(mathematics) dbr:Courcelle's_theorem dbc:Trees_(data_structures) n27:DFA_example_multiplies_of_3.svg dbr:Production_(computer_science) dbr:Tree_structure
dbo:wikiPageExternalLink
n6: n14:timbuk n17:document%7C n21: n22: n23:Tree-Automata.shtml
owl:sameAs
dbpedia-fa:ماشین_درختی dbpedia-vi:Ôtômat_cây dbpedia-fr:Automate_d'arbres wikidata:Q2872598 dbpedia-pt:Autómato_de_árvore n26:2ffTm freebase:m.0p8rz
dbp:wikiPageUsesTemplate
dbt:Sfn dbt:Color dbt:For dbt:Formal_languages_and_grammars dbt:Cite_arXiv dbt:Harvid dbt:Cite_book dbt:Reflist dbt:Cn
dbo:thumbnail
n9:DFA_example_multiplies_of_3.svg?width=300
dbo:abstract
A tree automaton is a type of state machine. Tree automata deal with tree structures, rather than the strings of more conventional state machines. The following article deals with branching tree automata, which correspond to regular languages of trees. As with classical automata, finite tree automata (FTA) can be either a deterministic automaton or not. According to how the automaton processes the input tree, finite tree automata can be of two types: (a) bottom up, (b) top down. This is an important issue, as although non-deterministic (ND) top-down and ND bottom-up tree automata are equivalent in expressive power, deterministic top-down automata are strictly less powerful than their deterministic bottom-up counterparts, because tree properties specified by deterministic top-down tree automata can only depend on path properties. (Deterministic bottom-up tree automata are as powerful as ND tree automata.) En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de caractères pour les automates plus conventionnels, comme les automates finis. Um autómato de árvore é um tipo de máquina de estados que lida com estruturas em árvore (de topologia em árvore), ao invés de strings como as máquinas de estado mais convencionais. Tal como acontece com os autómatos clássicos, um autómato de árvores finito (FTA) pode ser um autómato determinístico ou não. De acordo com a maneira que o autómato processa a árvore de entrada, o autómato de árvores finito pode ser de dois tipos: (a) bottom-up, (b) top-down. Essa é uma questão importante, pois apesar de os autómatos finitos de árvore não-determinísticos bottom-up e top-down serem equivalentes em poder expressivo, os autómatos determinísticos top-down são estritamente menos poderosos do que seus homólogos em bottom-up, por que as propriedades especificadas pelo autómato de árvores determinístico dependem apenas das propriedades do caminho. (Autómatos de árvore determinísticos bottom-up são tão poderosos quanto os autómatos em árvore não-determinísticos)
gold:hypernym
dbr:Machine
prov:wasDerivedFrom
wikipedia-en:Tree_automaton?oldid=1124441747&ns=0
dbo:wikiPageLength
25218
foaf:isPrimaryTopicOf
wikipedia-en:Tree_automaton