Efficient evaluation of nondeterministic automata using factorization forests

DOI10.1007/978-3-642-14165-2_44MaRDI QIDQ3587404zbMATHOpenAlexFDO

Authors Mikołaj Bojańczyk, Paweł Parys

Publication date 7 September 2010

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14165-2_44

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 1953131
• Reduction of nondeterministic tree automata
• Succinct representation for (non)deterministic finite automata
• scientific article; zbMATH DE number 1419219
• Evaluating linear XPath expressions by pattern-matching automata

Cited in

(6)

• Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations
• Oblivious DFA evaluation on joint input and its applications
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
• The factorisation forest theorem
• scientific article; zbMATH DE number 1927179 (Why is no real title available?)
• scientific article; zbMATH DE number 1670710 (Why is no real title available?)

This page was built for publication: Efficient evaluation of nondeterministic automata using factorization forests

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