Title: The equivalence of regular expressions
Subjects: Machine theory