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