A mesh of automata

DOI10.1016/J.IC.2019.01.003MaRDI QIDQ2272980zbMATH OpenOpenAlexFDO

Authors Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis

Publication date 17 September 2019

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2019.01.003

zbMATH Keywords

finite automataregular languagesregular expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• On the mother of all automata: the position automaton
• Prefix and Right-Partial Derivative Automata
• The prefix automaton
• Position automata for semi-extended expressions
• Position automaton construction for regular expressions with intersection

Cites work

• scientific article; zbMATH DE number 3251424 (Why is no real title available?)
• scientific article; zbMATH DE number 3189697 (Why is no real title available?)
• A Unified Construction of the Glushkov, Follow, and Antimirov Automata
• Canonical derivatives, partial derivatives and finite automaton constructions.
• Derivatives of Regular Expressions
• Derivatives of regular expressions and an application
• Design of Sequential Machines from Their Regular Expressions
• Elements of automata theory. Translated from the French by Reuben Thomas
• Follow automata.
• From Mirkin's prebases to Antimirov's word partial derivatives
• From finite automata to regular expressions and back -- a summary on descriptional complexity
• From regular expressions to deterministic automata
• On the average size of Glushkov and partial derivative automata
• On the mother of all automata: the position automaton
• Partial derivatives of regular expressions and finite automaton constructions
• Prefix and Right-Partial Derivative Automata
• Programming Techniques: Regular expression search algorithm
• Regular expressions into finite automata
• THE ABSTRACT THEORY OF AUTOMATA
• Unified decision procedures for regular expression equivalence

Cited in

(11)

• Algorithms for checking intersection non-emptiness of regular expressions
• Location automata for regular expressions with shuffle and intersection
• On the size of partial derivatives and the word membership problem
• The prefix automaton
• Collectives of automata in labyrinths
• On the mother of all automata: the position automaton
• Manipulation of regular expressions using derivatives: an overview
• scientific article; zbMATH DE number 7301805 (Why is no real title available?)
• Location based automata for expressions with shuffle
• Verification: Theory and Practice
• Location automata for synchronised shuffle expressions

Describes a project that uses

Uses Software

• Regex_Equivalence

This page was built for publication: A mesh of automata

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