A Procedure for Checking Equality of Regular Expressions
From MaRDI portal
Publication:5536641
DOI10.1145/321386.321399zbMath0155.34501OpenAlexW2141405865WikidataQ129480903 ScholiaQ129480903MaRDI QIDQ5536641
No author found.
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
Related Items (7)
THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS ⋮ Manipulation of regular expressions using derivatives: an overview ⋮ Verified decision procedures for MSO on words based on derivatives of regular expressions ⋮ Some remarks on the KH algorithm fors-grammars ⋮ Unnamed Item ⋮ 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
