Synchronized tree automata
type: Item
instance of: scholarly article
title: Synchronized tree automata
zbMATH Open document ID: 0805.68084
DOI: 10.1016/0304-3975(94)90099-X
author: Kai Salomaa
published in: Theoretical Computer Science
publication date: 1994-05-15T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 567715
zbMATH Keywords: synchronized tree automata
zbMATH Keywords: closure properties
zbMATH Keywords: decision problems
MaRDI profile type: Publication
cites work: Un théorème de duplication pour les forets algébriques
cites work: The equivalence problem for deterministic two-tape automata
cites work: IO and OI. II
cites work: Top-down tree transducers with deterministic top-down look-ahead
cites work: Q3974865
cites work: Q4179852
cites work: Pushdown tree automata
cites work: The equivalence problem of multitape finite automata
cites work: Q5592246
cites work: On the power of synchronization in parallel computations
cites work: Deterministic versus nondeterministic space in terms of synchronized alternating machines
cites work: Q4266537
cites work: Q4726235
cites work: Mappings and grammars on trees
cites work: Q5678435
cites work: Yield-languages recognized by alternating tree recognizers
cites work: Q3974879
cites work: Tree pushdown automata
cites work: Deciding Equivalence of Finite Tree Automata
cites work: Communication for alternating machines
cites work: Alternating tree automata
cites work: The equivalence problem for deterministic finite-turn pushdown automata
Recommended article: Synchronised automata
Recommended article: Q2771057
Recommended article: Q4858462
Recommended article: Q3505126
Recommended article: Systolic tree and tree-like automata
Recommended article: Q3771620
Recommended article: Synchronized Recursive Timed Automata
Recommended article: Decidability of equivalence for deterministic synchronized tree automata
Recommended article: Q3707426
description: scientific article; zbMATH DE number 567715