A Procedure for Checking Equality of Regular Expressions


A simple &#8220;mechanical&#8221; procedure is described for checking equality of regular expressions. The procedure, based on the work of A. Salomaa, uses derivatives of regular expressions and transition graphs. Given a regular expression <italic>R</italic>, a corresponding transition graph is constructed. It is used to generate a finite set of left… (More)
DOI: 10.1145/321386.321399


3 Figures and Tables

Slides referencing similar topics