Re: 李昌鈺說的"涂林機"？

[littleshan (我要加入劍道社!)]

※ 引述《diana3061 (╰（￣▽￣）╯)》之銘言：
: 標題: 李昌鈺說的"涂林機"？
: 時間: Sun Aug 29 18:51:28 2004
:
: 我剛剛看TVBS，李昌鈺說turning machine(我聽到他講英文，不知道是不是這個字)
: 但是字幕上打"涂林機"。
: 請問什麼是"涂林機"？
: 還是，記者寫錯了？
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 61.70.152.41
: 推 peter308:只要具有邏輯演算功能的咚咚都叫涂林機          140.115.31.144 08/29
不是這樣的
turing machine有明確的數學定義

A turing machine is a 7-tuple (Ｑ, Σ, Γ, δ, q0, qa, qr),
where Ｑ, Σ, Γ are all finite sets.

1. Ｑ is the set of status
2. Σ is the input alphabet
3. Γ is the tape alphabet
4. δ: Ｑ×Σ→Ｑ×Γ×{L,R} is the transition function
5. q0 is the start state
6. qa is the accept state
7. qr is the reject state

簡而言之
可以把turing machine想像成一台可以讀寫紙條的機器
它會依據紙條上的字母與機器的狀態
來決定該寫入的字母、機器在下一步的狀態與讀寫頭的移動方向 (左或右)

看起來好像很遜
但turing machine代表的意義是把「計算方法」抽象化
因此我們可以用上面說的那些集合和函數來表示一個數學上的運算過程

--
void
null
undef
NaN
Nil
ε

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.244.211
推 nEOpReNCeDo:和圖靈獎的圖靈是同一件事嗎?
推 klaymen:是