Deciding determinism of caterpillar expressions

Authors:
Kai Salomaa;Sheng Yu;Jinfeng Zan
Affiliations:
School of Computing, Queens University, Kingston, Ontario K7L 3N6, Canada;Department of Computer Science, University of Western Ontario, London, Ontario N6A 5B7, Canada;School of Computing, Queens University, Kingston, Ontario K7L 3N6, Canada
Venue:
Theoretical Computer Science
Year:
2009

Citing 22
Cited 0

Regular languages

Handbook of formal languages, vol. 1
Tree languages

Handbook of formal languages, vol. 3
One-unambiguous regular languages

Information and Computation
Deterministic generalized automata

Theoretical Computer Science
Trips on trees

Acta Cybernetica
SGML and XML document grammars and exceptions

Information and Computation
Translating regular expressions into small εe-free nondeterministic finite automata

Journal of Computer and System Sciences
Automata, Languages, and Machines

Automata, Languages, and Machines
Theory of Codes

Theory of Codes
One-visit caterpillar tree automata

Fundamenta Informaticae
Characterizing Regular Languages with Polynomial Densities

MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Tree-Walking Pebble Automata

Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
On the power of tree-walking automata

Information and Computation - Special issue: ICC '99
Typechecking for XML transformers

Journal of Computer and System Sciences - Special issue on PODS 2000
Translation of binary regular expressions into nondeterministic ɛ-free automata with O(n log n)transitions

Journal of Computer and System Sciences
Taxonomy of XML schema languages using formal language theory

ACM Transactions on Internet Technology (TOIT)
Tree-walking automata cannot be determinized

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Intercode Regular Languages

Fundamenta Informaticae
Ambiguity in Graphs and Expressions

IEEE Transactions on Computers
Tree-Walking Automata Do Not Recognize All Regular Languages

SIAM Journal on Computing
Regular expressions and NFAs without Ε-transitions

STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science

Quantified Score

Hi-index	5.23

Visualization

Abstract

Caterpillar expressions have been introduced by Bruggemann-Klein and Wood for applications in markup languages. Caterpillar expressions provide a convenient formalism for specifying the operation of tree-walking automata on unranked trees. Here we give a formal definition of determinism of caterpillar expressions that is based on the language of instruction sequences defined by the expression. We show that determinism of caterpillar expressions can be decided in polynomial time.