Translating regular expression matching into transducers

DOI10.1016/J.JAL.2011.11.003MaRDI QIDQ420836zbMATH OpenOpenAlexFDO

Authors Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov

Publication date 23 May 2012

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2011.11.003

zbMATH Keywords

semanticsmonadprogram analysistransducerregular expression

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1948484
• Regular expressions and transducers over alphabet-invariant and user-defined labels
• Regular expressions and transducers over alphabet-invariant and user-defined labels
• From regular expression matching to parsing
• From Regular Expression Matching to Parsing
• From two-way transducers to regular function expressions
• From two-way transducers to regular function expressions
• scientific article; zbMATH DE number 7318987

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• A play on regular expressions: functional pearl
• Algebra and Coalgebra in Computer Science
• Automata, Languages and Programming
• Comprehending monads
• Elements of automata theory. Translated from the French by Reuben Thomas
• Minimization algorithms for sequential transducers
• Programming Techniques: Regular expression search algorithm
• Regular expression containment, coinductive axiomatization and computational interpretation
• Top-down tree transducers with regular look-ahead
• Translating regular expression matching into transducers
• Two Complete Axiom Systems for the Algebra of Regular Events

Cited in

(13)

• Symbolic string transformations with regular lookahead and rollback
• DReX: a declarative language for efficiently evaluating regular string transformations
• Translating regular expression matching into transducers
• scientific article; zbMATH DE number 5671764 (Why is no real title available?)
• Context-free grammars with lookahead
• On the semantics of atomic subgroups in practical regular expressions
• Regular expressions at their best: a case for rational design
• Proof-directed program transformation: a functional account of efficient regular expression matching
• On the semantics of regular expression parsing in the wild
• Using regular expressions in translation memories
• On the semantics of regular expression parsing in the wild
• Automata-based symbolic string analysis for vulnerability detection
• scientific article; zbMATH DE number 3211094 (Why is no real title available?)

Describes a project that uses

Uses Software

• PHP
• PERL

This page was built for publication: Translating regular expression matching into transducers

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