On Sub Regular OL Forms
J. Albert, Hermann A. Maurer, Th. Ottmann · Fundamenta Informaticae · 1981
We present necessary and sufficient conditions for an OL form F to generate regular languages only. The conditions at issue can be effectively checked, whence the “regularity problem for OL forms” is proven decidable.