languages Sections AutomataTheory Doc

Def {i...j} == {k:| ik & kj }

In prior sections: int 1 list 1 list 3 autom