Implementation and Application of Automata

DOI10.1007/11605157MaRDI QIDQ5897685zbMATH OpenOpenAlexFDO

Authors Tadahiro Suda, Haruo Hosoya

Publication date 13 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11605157

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Efficient inclusion checking on explicit and semi-symbolic tree automata
• Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
• Efficient inclusion checking for deterministic tree automata and XML schemas
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Reduction of nondeterministic tree automata

Cited in

(1)

• Efficient inclusion checking on explicit and semi-symbolic tree automata

Describes a project that uses

Uses Software

• XDuce

This page was built for publication: Implementation and Application of Automata

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