BASIC PUZZLE LANGUAGES
K. G. Subramanian, Rani Siromoney, Vincent Rajkumar Dare, A. Saoudi · International Journal of Pattern Recognition and Artificial Intelligence · 1995
The emptiness problem for non-overlapping Basic puzzle grammars is shown to be decidable. An alternate proof of the decidability of the non-overlapping feature for basic puzzle grammars is given. Hierarchy among the various classes of puzzle languages is also established.