mb
automata
1
Sections
GenAutomata
Doc
Def
reduce(f;k;as) == Case of as; nil
k ; a.as'
f(a,reduce(f;k;as')) (recursive)
is mentioned
In prior sections:
mb
list
2
list
1
mb
list
1
mb
label
Try larger context:
GenAutomata
mb
automata
1
Sections
GenAutomata
Doc
k ; a.as' f(a,reduce(f;k;as')) (recursive)