Location based automata for expressions with shuffle

DOI10.1007/978-3-030-68195-1_4OpenAlexW3131689092MaRDI QIDQ2232263

Sabine Broda, Rogério Reis, Nelma Moreira, António Machiavelo

Publication date: 4 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-68195-1_4

zbMATH Keywords

regular expressionsposition automatonshuffle operator

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Manipulation of regular expressions using derivatives: an overview ⋮ Location automata for regular expressions with shuffle and intersection ⋮ Location automata for synchronised shuffle expressions

Cites Work

• Unnamed Item
• Partial derivatives of regular expressions and finite automaton constructions
• Concurrent regular expressions and their relationship to Petri nets
• Regular expressions into finite automata
• Follow automata.
• Automata for regular expressions with shuffle
• Canonical derivatives, partial derivatives and finite automaton constructions.
• A mesh of automata
• From $$\omega $$-Regular Expressions to Büchi Automata via Partial Derivatives
• Unified Decision Procedures for Regular Expression Equivalence
• Prefix and Right-Partial Derivative Automata
• THE ABSTRACT THEORY OF AUTOMATA
• Derivatives of Regular Expressions

This page was built for publication: Location based automata for expressions with shuffle