🚀 go-pugleaf

/ hpfcdc:comp.lang.misc / migod@csri.toronto.edu (Mike Godfrey) / 10:22 pm  Jan 27, 1989 /
In article <5200038@m.cs.uiuc.edu> wsmith@m.cs.uiuc.edu writes:
>>
>>Now my question, in this framework, is there a Turing equivalent to the C:
>>
>>		if (condition3) continue;
>>
>>If not, it is a serious omission.
>
>Hmm, I can only guess that you mean "Does Turing have some sort of do-nothing 
>statement?" As it turns out, the answer is yes and it looks like this:
>
>Get it?  The null statement is a part of Turing.

No, that is not the same thing:

while (c)
{
	A;
	if (condition3)
		continue;
	B;
}

The "continue" is not a "null statement" in C as it is in Fortran.
I don't know if this is easily modelled in Turing or not.

This is the same objection I have to the otherwise clever idea having a
unified "struct ... tcurts" statement which handled basic block statements,
if-then, if-then-else, and loops with a single syntax.  It couldn't handle
"break" or "continue" that occurred within an "if" within a loop.  I thought
it was otherwise a wonderfully elegant idea.

--------------
Marc Sabatella
HP Colorado Language Lab
marc%hpfcrt@hplabs.hp.com