【形式語(yǔ)言與自動(dòng)機(jī)】有限狀態(tài)機(jī)

一、有限狀態(tài)機(jī)

其需求來(lái)自于對(duì)語(yǔ)言字符串識(shí)別的需要，給定字符串判定它是否屬于語(yǔ)法G產(chǎn)生的 L(G), 判斷是否屬于這個(gè)集合。

句子識(shí)別

〉 給定一個(gè)字符串，判定是否屬于給定語(yǔ)法G 的語(yǔ)言L(G)
〉 一般來(lái)說(shuō)，這是個(gè)難解的問(wèn)題，并不是有一個(gè)確定的過(guò)程，實(shí)際上它涉及到上節(jié)講的語(yǔ)法分析有關(guān)，給出句子的構(gòu)造過(guò)程，與形式系統(tǒng)中公式的證明類似。對(duì)于判定某個(gè)句子是否屬于某個(gè)指定的語(yǔ)言。給出一個(gè)構(gòu)造過(guò)程，涉及到識(shí)別與判定過(guò)程。
〉 但是對(duì)于三型文法，即正則語(yǔ)法和正則語(yǔ)言來(lái)說(shuō)，可以通過(guò)一個(gè)較簡(jiǎn)單的“識(shí)別機(jī)器”來(lái)判定的，即有限狀態(tài)機(jī)。如下圖所示：
   

左邊是輸入，中間是機(jī)器，經(jīng)過(guò)機(jī)器處理之后，它會(huì)給出一個(gè) Yes 或 No. Yes 代表著句子被接受了，復(fù)合語(yǔ)法，No 反之。

 機(jī)器 machine ：

實(shí)際上除了常見(jiàn)物理意義上的實(shí)體機(jī)器，之外我們知道有個(gè)英文單詞叫 mechanism 機(jī)制，
〉 所以針對(duì)一個(gè)系統(tǒng)，接受

總結(jié)

以上是生活随笔為你收集整理的【形式语言与自动机】有限状态机的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。