※ 引述《flynova (　)》之铭言：
: 注： ATM：1.asynchronous transfer mode
: 2.automated teller machine
: 不能decide的东西：指Ａtm = { <M,w> | M is a TM and M accepts w}
: 详情参考大三必修课程