5 ms·
> C only has one stack Sure > so it's a PDA. Wrong
by cronjobber 10y ago
> C only has one stack
Sure
> so it's a PDA.
Wrong
- lisper 10y agoWhy wrong? Remember, we're talking about functional C here, so no destructive operations are allowed.
- cronjobber 10y agoSomething like Baker's Cheney on the MTA without actually collecting garbage. The "cheat" is that unbounded stack size implies unbounded pointer sizes, which means no finite alphabet, but "C without pointers" isn't C, and "finite stack/tape" isn't PDA/TM, so I think the "cheat" is fair :-)
- lisper 10y agoOK, you're right. I concede the point.