L
Logan Lee
This is a method I have devised.
Not really organized but
http://www.geocities.com/logan.lee30/Definitions_and_examples.pdf.
Definitions
I=if; EI=else if; E=else
(I) is one of I, EI, E or I, EI or I, E.
(I)[3]=I, EI, E
(I)[2]=I, EI or I, E.
Let ((I))_1 be F, (I)_i, F and ((I))_2 be (I)_i, F, (I)_j. Then:
((I))_1[5]=F, (I)[3], F
((I))_2[7]=(I)[3], F, (I)[3].
Sample Code:
Let's try to represent(I apologise for incorrect syntax in relation to
ANSI C):
for
if
else if
in terms of our definition above.
It is equivalent to ((I))_1[3] or F, (I)[2]. Actually ((I))_1[3]=F, (I)[2].
Note that this is ambiguous because we haven't distinguished between
(I)[2]= I, EI or I, E. But this is a minor issue that can be resolved very
easily. The point is that using my method we are able to quickly classify
a certain control loop structure found in ANSI C code. Tell me what you
think. Thanks.
Not really organized but
http://www.geocities.com/logan.lee30/Definitions_and_examples.pdf.
Definitions
I=if; EI=else if; E=else
(I) is one of I, EI, E or I, EI or I, E.
(I)[3]=I, EI, E
(I)[2]=I, EI or I, E.
Let ((I))_1 be F, (I)_i, F and ((I))_2 be (I)_i, F, (I)_j. Then:
((I))_1[5]=F, (I)[3], F
((I))_2[7]=(I)[3], F, (I)[3].
Sample Code:
Let's try to represent(I apologise for incorrect syntax in relation to
ANSI C):
for
if
else if
in terms of our definition above.
It is equivalent to ((I))_1[3] or F, (I)[2]. Actually ((I))_1[3]=F, (I)[2].
Note that this is ambiguous because we haven't distinguished between
(I)[2]= I, EI or I, E. But this is a minor issue that can be resolved very
easily. The point is that using my method we are able to quickly classify
a certain control loop structure found in ANSI C code. Tell me what you
think. Thanks.