nfa
1
Sections
AutomataTheory
Doc
Def
nth_tl(n;as) == if n
0
as else nth_tl(n-1;tl(as)) fi (recursive)
In prior sections:
list
1
list
3
autom
0
as else nth_tl(n-1;tl(as)) fi (recursive)