GenAutomata
Sections
NuprlLIB
Doc
Def
as\[i] == if i
0
tl(as) else Case of as; nil
nil ; a'.as'
[a' / as'\[i-1]] fi (recursive)
is mentioned
In prior sections:
list
1
GenAutomata
Sections
NuprlLIB
Doc
0
tl(as) else Case of as; nil nil ; a'.as' [a' / as'\[i-1]] fi (recursive)