Definitions

[1] =Special Interest Group on Automata and Computabi-lity Theory (美国计算机协会) 自动机与可计算性理论专业组