12 lines
232 B
Text
12 lines
232 B
Text
|
node mmm(x: int) returns (o': int)
|
||
|
|
var last m: int; o: int;
|
||
|
|
let
|
||
|
|
automaton
|
||
|
|
state I
|
||
|
|
do m = 1; o = last m + 2 until (o = 1) then J
|
||
|
|
state J
|
||
|
|
do m = last m + 1; o = 0
|
||
|
|
end;
|
||
|
|
o' = 1 -> pre o
|
||
|
|
tel
|