Hacker News Reader

The point being you can't, due to the finiteness of c's abstract memory model, both for the heap (the tape) and stack (state transition graph)

View on HN

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

Reply on news.ycombinator.com