A proof Procedure for Testing Membership in Regular Expressions

Keehang Kwon, Hong Pyo Ha, Jiseung Kim

We propose an algorithm that test membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The a…