Multi-tilde-bar expressions and their automata

DOI10.1007/s00236-012-0167-xzbMath1279.68138WikidataQ60691921 ScholiaQ60691921MaRDI QIDQ715057

Pascal Caron, Ludovic Mignot, Jean-Marc Champarnaud

Publication date: 15 October 2012

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-012-0167-x

zbMATH Keywords

extended expressions; Glushkov automata; multi-tilde-bar expressions

Mathematics Subject Classification ID

68Q45: Formal languages and automata

Related Items

Constrained multi-tildes, Operads, quasiorders, and regular languages, Extended to multi-tilde-bar regular expressions and efficient finite automata constructions

Uses Software

• LANGAGE

Cites Work

• Partial derivatives of regular expressions and finite automaton constructions
• Complexity measures for regular expressions
• Follow automata.
• Characterization of Glushkov automata
• Canonical derivatives, partial derivatives and finite automaton constructions.
• Acyclic automata and small expressions using multi-tilde-bar operators
• THE ABSTRACT THEORY OF AUTOMATA
• A New Family of Regular Operators Fitting with the Position Automaton Computation
• Multi-tilde Operators and Their Glushkov Automata
• Compact and fast algorithms for safe regular expression search
• From regular expressions to finite automata^∗
• Mathematical Foundations of Computer Science 2004
• Optimal Lower Bounds on Regular Expression Size Using Communication Complexity
• Derivatives of Regular Expressions
• Boolean Matrices and the Stability of Neural Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item