Abstract
Pre-NTS languages have been introduced together with NTS languages by Boasson and Senizergues. In this paper we study the pre-NTS grammars. Our main result is that pre-NTS grammars have a decidable equivalence problem.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have