nfa 1 Sections AutomataTheory Doc

label Def t ...$L == t

About:
!abstraction