1 paper · 1 filter
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…