3 ms·
The fact that the code compiles on godbolt.org makes me doubtful that this particular instance proves that the grammar is undecidable.
by bialpio 6y ago
The fact that the code compiles on godbolt.org makes me doubtful that this particular instance proves that the grammar is undecidable.
- saagarjha 6y agoThe fact that it compiles does that this particular setup halts. This isn’t true in general.