Yield-languages recognized by alternating tree recognizers

DOI10.1051/ITA/1988220303191MaRDI QIDQ3804222zbMATH OpenOpenAlexFDO

Authors Kai Salomaa

Publication date 1988

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92311

zbMATH Keywords

alternating computationscontext- sensitive languageformal languagestree automatatree languageyield-language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 3967934
• Alternating tree automata
• scientific article; zbMATH DE number 4083011
• Weighted Languages Recognizable by Weighted Tree Automata
• scientific article; zbMATH DE number 17554

Cites work

• Alternating Pushdown and Stack Automata
• Alternation
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• scientific article; zbMATH DE number 3829259 (Why is no real title available?)
• scientific article; zbMATH DE number 3967934 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3999901 (Why is no real title available?)
• scientific article; zbMATH DE number 3413820 (Why is no real title available?)
• Indexed Grammars—An Extension of Context-Free Grammars
• Mappings and grammars on trees
• One-sided and two-sided context in formal grammars

Cited in

(6)

• Synchronized tree automata
• scientific article; zbMATH DE number 3883631 (Why is no real title available?)
• scientific article; zbMATH DE number 3967934 (Why is no real title available?)
• scientific article; zbMATH DE number 17554 (Why is no real title available?)
• Decidability of equivalence for deterministic synchronized tree automata
• Decidability of equivalence for deterministic synchronized tree automata

This page was built for publication: Yield-languages recognized by alternating tree recognizers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3804222)