Automata on finite trees
type: Item
instance of: scholarly article
title: Automata on finite trees
author: Christof Löding
author: Wolfgang Thomas
publication date: 2022-02-04T00:00:00Z
review text: Summary: For the entire collection see [Zbl 1470.68001].
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7469505
zbMATH Keywords: tree automata
describes a project that uses: MONA
MaRDI profile type: Publication
cites work: Translations on a context free grammar
cites work: Q4202929
cites work: Languages and scanners
cites work: Regular tree languages definable in FO and in FO mod
cites work: Tree-Walking Automata
cites work: Tree-walking automata cannot be determinized
cites work: Tree-Walking Automata Do Not Recognize All Regular Languages
cites work: Piecewise testable tree languages
cites work: Characterizing EF and EX tree logics
cites work: Tree generating regular systems
cites work: Q5517677
cites work: Regular canonical systems
cites work: Q3995303
cites work: Rewriting Techniques and Applications
cites work: Tree acceptors and some of their applications
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: Derivation trees of ground term rewriting systems.
cites work: Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
cites work: Q3323279
cites work: Q3862379
cites work: Q4398780
cites work: Q4344149
cites work: Reachability problems on regular ground tree rewriting graphs
cites work: Complementing deterministic tree-walking automata
cites work: A decidable characterization of locally testable tree languages
cites work: First-order logic on finite trees
cites work: Q4284261
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: The Complexity of Translating Logic to Finite Automata
cites work: Q4302435
cites work: Generalizations of regular sets and their application to a study of context-free languages
cites work: Transitive closure logic, nested tree walking automata, and XPath
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q3221429
cites work: Q4385530
cites work: Finite automata and the logic of one-place predicates
DOI: 10.4171/AUTOMATA-1/7
description: scientific article; zbMATH DE number 7469505