No, any undergraduate CS major at a top 5 university should be able to do this. It&#x27;s possible to do this for any programming language. If you need help then it&#x27;s on p. 161 Theorem 7.2 of Hopcroft and Ullman (1979).