注： ATM：1.asynchronous transfer mode
2.automated teller machine
不能decide的东西：指Ａtm = { <M,w> | M is a TM and M accepts w}
详情参考大三必修课程