0
關於圖靈機接受的語言定義的困惑,一個非常基本的問題
我正在為即將參加的考試而學習,我的書給出了以下定義:讓 $ M $ 成為圖靈機,然後將接受的語言 $ T(M)$ $ M $ 的定義為 $ T(M)= \ {x \ in \ Sigma ^ * \ mid z_0 x\ vdash ^ * \ alpha z \ beta;\ alpha,\ beta \在\ Gamma ^ *;z \ in E \} $ 。作為旁注...
turing-machines automata