Inclusion Test Algorithms for One-Unambiguous Regular Expressions

DOI10.1007/978-3-540-85762-4_7MaRDI QIDQ5505596zbMATH OpenOpenAlexFDO

Authors Haiming Chen, Lei Chen

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85762-4_7

zbMATH Keywords

algorithminclusionone-unambiguous regular expression

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Generalized one-unambiguity
• The inclusion problem for regular expressions
• The inclusion problem for regular expressions
• One-unambiguity of regular expressions with numeric occurrence indicators
• Efficient Inclusion Checking for Deterministic Tree Automata and DTDs

Cites work

• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 3251424 (Why is no real title available?)
• CDuce: an XML-centric general-purpose language
• Derivatives of Regular Expressions
• Introduction to algorithms
• Mathematical Foundations of Computer Science 2004
• One-unambiguous regular languages
• Partial derivatives of regular expressions and finite automaton constructions
• Regular expressions into finite automata
• Rewriting regular inequalities
• THE ABSTRACT THEORY OF AUTOMATA

Cited in

(6)

• Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
• Efficient testing and matching of deterministic regular expressions
• The inclusion problem for regular expressions
• The inclusion problem for regular expressions
• One-unambiguity of regular expressions with numeric occurrence indicators
• Deciding definability by deterministic regular expressions

Describes a project that uses

Uses Software

• XDuce
• CDuce

This page was built for publication: Inclusion Test Algorithms for One-Unambiguous Regular Expressions

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