2 papers
cs.FL2010
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…
cs.DS2009
Algorithm as Defining Dynamic Systems
Keehang Kwon, Hong Pyo Ha
This paper proposes a new view to algorithms, Algorithms as defining dynamic systems. This view extends the traditional, deterministic view that an algorithm is a step by step proc…