Ject对"SIGACT" 的正确翻译：=Special Interest Group on Automata and Computabi-lity Theory (美国计算机协会) 自动机与可计算性理论专业组。