"Em ci\u00EAncia da computa\u00E7\u00E3o e l\u00F3gica matem\u00E1tica, um aut\u00F4mato de \u00E1rvore infinita \u00E9 uma m\u00E1quina de estados que lida com estruturas de \u00E1rvores infinitas. Pode ser visto como uma extens\u00E3o de um aut\u00F4mato de \u00E1rvore finita, que aceita apenas estruturas de \u00E1rvores finitas. Tamb\u00E9m pode ser visto como uma extens\u00E3o de alguns aut\u00F4matos de palavras infinitas, como o aut\u00F4mato de B\u00FCchi e o aut\u00F4mato de Muller."@pt . . . . . . "1121893123"^^ . "Infinite-tree automaton"@en . . . . . . . . "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 . . . . "En informatique th\u00E9orique, plus pr\u00E9cis\u00E9ment en th\u00E9ories des langages, un automate d'arbres infinis est une machine \u00E0 \u00E9tats qui prend en entr\u00E9e un arbre infini. Un automate d'arbres infinis \u00E9tend les automates d'arbres et les automates de mots infinis : il \u00E9tend les premiers aux arbres infinis et ajoute du branchement aux deuxi\u00E8mes."@fr . . . . "Em ci\u00EAncia da computa\u00E7\u00E3o e l\u00F3gica matem\u00E1tica, um aut\u00F4mato de \u00E1rvore infinita \u00E9 uma m\u00E1quina de estados que lida com estruturas de \u00E1rvores infinitas. Pode ser visto como uma extens\u00E3o de um aut\u00F4mato de \u00E1rvore finita, que aceita apenas estruturas de \u00E1rvores finitas. Tamb\u00E9m pode ser visto como uma extens\u00E3o de alguns aut\u00F4matos de palavras infinitas, como o aut\u00F4mato de B\u00FCchi e o aut\u00F4mato de Muller. Um aut\u00F4mato finito que roda em uma \u00E1rvore infinita foi usado pela primeira vez por Rabin para provar a decidibilidade da l\u00F3gica de segunda ordem mon\u00E1dica. Foi tamb\u00E9m observado que aut\u00F4mato de \u00E1rvore e teorias l\u00F3gicas est\u00E3o intimamente ligados e permitem que problemas de decis\u00E3o em l\u00F3gica sejam reduzidos a problemas de decis\u00E3o para aut\u00F4mato."@pt . . "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 . . . . "25436675"^^ . . . . . . . "Automate d'arbres infinis"@fr . . "En informatique th\u00E9orique, plus pr\u00E9cis\u00E9ment en th\u00E9ories des langages, un automate d'arbres infinis est une machine \u00E0 \u00E9tats qui prend en entr\u00E9e un arbre infini. Un automate d'arbres infinis \u00E9tend les automates d'arbres et les automates de mots infinis : il \u00E9tend les premiers aux arbres infinis et ajoute du branchement aux deuxi\u00E8mes."@fr . . "Aut\u00F4mato de \u00E1rvore infinita"@pt . "7189"^^ . .