Regularity for a Large Class of Context-Free Processes is Decidable.

D. J. B. Bosscher, W. O. David Griffioen

Browse the full ICALP paper archive.