Semi-linear Parikh Images of Regular Expressions via Reduction

DOI10.1007/978-3-642-15155-2_57zbMath1287.68090OpenAlexW1511588863MaRDI QIDQ3586120

Mohammad Torabi Dashti, Bahareh Badban

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings, Resynchronizing Classes of Word Relations