非确定自动机/形式语言

• Non-deterministic automata/languages