Title: Theory of Languages and Computation