Nested Sibling Tree Automata

DOI10.1051/ITA/2009006MaRDI QIDQ3625699zbMATH OpenOpenAlexFDO

Authors F. Gire, Jean-Marc Talbot

Publication date 6 May 2009

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

Full work available at URL http://www.numdam.org/item?id=ITA_2009__43_2_379_0/, https://eudml.org/doc/92922

zbMATH Keywords

automatalogicunranked treesXML schemas

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15) Formal languages and automata (68Q45)

Recommendations

• Tree automata
• scientific article; zbMATH DE number 3854429
• Tree-stack automata
• scientific article; zbMATH DE number 4213435
• Iterative tree automata
• Nondeterministic Tree Automata
• Symbolic tree automata
• Systolic tree and tree-like automata
• Dependency Tree Automata
• scientific article; zbMATH DE number 4030987

Cites work

• A fixpoint calculus for local and global program flows
• Automata, Languages and Programming
• Generalized finite automata theory with an application to a decision problem of second-order logic
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• Languages of Nested Trees
• Tree Automata with Memory, Visibility and Structural Constraints
• Tree automata with one memory set constraints and cryptographic protocols
• Visibly pushdown languages

Cited in

(1)

• scientific article; zbMATH DE number 2043533 (Why is no real title available?)

This page was built for publication: Nested Sibling Tree Automata

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