8 lines
239 B
Text
8 lines
239 B
Text
|
# skip m states, and return the next state
|
||
|
|
def skip(m; next):
|
||
|
|
if m <= 0 then . else next | skip(m-1; next) end;
|
||
|
|
|
||
|
|
# emit m states including the initial state
|
||
|
|
def emit(m; next):
|
||
|
|
if m <= 0 then empty else ., (next | emit(m-1; next)) end;
|