Formal language theory question

[removed]