A Procedure for Checking Equality of Regular Expressions

DOI10.1145/321386.321399MaRDI QIDQ5536641zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1967

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321386.321399

zbMATH Keywords

mathematical logic

Cited in

(7)

• Manipulation of regular expressions using derivatives: an overview
• The complexity of regular(-like) expressions
• Some remarks on the KH algorithm fors-grammars
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• scientific article; zbMATH DE number 3293675 (Why is no real title available?)
• Partial derivatives of regular expressions and finite automaton constructions
• Rewriting extended regular expressions

This page was built for publication: A Procedure for Checking Equality of Regular Expressions

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