languages Sections AutomataTheory Doc

Def as[m..n] == firstn(n-m;nth_tl(m;as))

In prior sections: list 1 list 3 autom