This HTML5 document contains 43 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/
foafhttp://xmlns.com/foaf/0.1/
n16https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Infinite-tree_automaton
rdfs:label
Infinite-tree automaton Automate d'arbres infinis Autômato de árvore infinita
rdfs:comment
Em ciência da computação e lógica matemática, um autômato de árvore infinita é uma máquina de estados que lida com estruturas de árvores infinitas. Pode ser visto como uma extensão de um autômato de árvore finita, que aceita apenas estruturas de árvores finitas. Também pode ser visto como uma extensão de alguns autômatos de palavras infinitas, como o autômato de Büchi e o autômato de Muller. In computer science and mathematical logic, an infinite-tree automaton is a state machine that deals with infinite tree structures. It can be seen as an extension of top-down finite-tree automata to infinite trees or as an extension of infinite-word automata to infinite trees. En informatique théorique, plus précisément en théories des langages, un automate d'arbres infinis est une machine à états qui prend en entrée un arbre infini. Un automate d'arbres infinis étend les automates d'arbres et les automates de mots infinis : il étend les premiers aux arbres infinis et ajoute du branchement aux deuxièmes.
dcterms:subject
dbc:Trees_(data_structures) dbc:Automata_(computation)
dbo:wikiPageID
25436675
dbo:wikiPageRevisionID
1121893123
dbo:wikiPageWikiLink
dbr:Tree_automaton dbc:Automata_(computation) dbr:Monadic_second-order_logic dbr:State_machine dbc:Trees_(data_structures) dbr:Tree_(set_theory) dbr:Omega_automaton dbr:Jan_van_Leeuwen dbr:Ω-automaton dbr:Rabin_automaton dbr:Michael_O._Rabin dbr:Parity_automaton dbr:Ω-automata dbr:Muller_automaton dbr:S2S_(mathematics) dbr:Streett_automaton dbr:Computer_science dbr:Mathematical_logic dbr:Maurice_Nivat
owl:sameAs
dbpedia-sr:Аутомат_бесконачног_стабла dbpedia-fa:درخت_اتومات_نامتناهی dbpedia-fr:Automate_d'arbres_infinis dbpedia-pt:Autômato_de_árvore_infinita n16:4nEuc wikidata:Q6029880
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:More_footnotes
dbo:abstract
Em ciência da computação e lógica matemática, um autômato de árvore infinita é uma máquina de estados que lida com estruturas de árvores infinitas. Pode ser visto como uma extensão de um autômato de árvore finita, que aceita apenas estruturas de árvores finitas. Também pode ser visto como uma extensão de alguns autômatos de palavras infinitas, como o autômato de Büchi e o autômato de Muller. Um autômato finito que roda em uma árvore infinita foi usado pela primeira vez por Rabin para provar a decidibilidade da lógica de segunda ordem monádica. Foi também observado que autômato de árvore e teorias lógicas estão intimamente ligados e permitem que problemas de decisão em lógica sejam reduzidos a problemas de decisão para autômato. In computer science and mathematical logic, an infinite-tree automaton is a state machine that deals with infinite tree structures. It can be seen as an extension of top-down finite-tree automata to infinite trees or as an extension of infinite-word automata to infinite trees. A finite automaton which runs on an infinite tree was first used by Michael Rabin for proving decidability of S2S, the monadic second-order theory with two successors. It has been further observed that tree automata and logical theories are closely connected and it allows decision problems in logic to be reduced into decision problems for automata. En informatique théorique, plus précisément en théories des langages, un automate d'arbres infinis est une machine à états qui prend en entrée un arbre infini. Un automate d'arbres infinis étend les automates d'arbres et les automates de mots infinis : il étend les premiers aux arbres infinis et ajoute du branchement aux deuxièmes.
prov:wasDerivedFrom
wikipedia-en:Infinite-tree_automaton?oldid=1121893123&ns=0
dbo:wikiPageLength
7189
foaf:isPrimaryTopicOf
wikipedia-en:Infinite-tree_automaton