讓我先談?wù)勀愕膯栴} . 一個(gè)很好的非正式語言的例子是自然語言 . 英語和斯洛文尼亞就是例子 . Tagalog和Tarifit Berber也是如此 . 不幸的是，語言學(xué)家似乎沒有對(duì)所有人都同意的自然語言的定義 .

諾姆·喬姆斯基(Noam Chomsky)在其1956年的論文_2551353中嘗試使用無背景伽瑪來模擬自然語言 . 他在那篇論文中發(fā)明了(或發(fā)現(xiàn)，如果你愿意的話);雖然他對(duì)英語語言模型沒有用，但它們徹底改變了計(jì)算機(jī)科學(xué) .

形式上，形式語言只是有限字母表中的一組字符串 . 而已 .

示例包括所有有效的C程序，所有有效的HTML文件，所有有效的XML文件，"balanced"括號(hào)的所有字符串(例如 (), ()(), ((()))()(()), ... )，始終停止的所有確定性圖靈機(jī)的集合(某些編碼下的代碼)，所有簡(jiǎn)單圖形的集合可以使用 k -colors(實(shí)際上是某些編碼下的代碼)著色，所有以 1 開頭的二進(jìn)制字符串的集合等 .

有些使用正則表達(dá)式(或者等效地，DFA)很容易識(shí)別;有些是不可能使用DFA識(shí)別的，但可以使用PDA識(shí)別(或者，等效地，可以用無上下文語法描述);其他人不承認(rèn)這樣的描述，但可以通過圖靈機(jī)識(shí)別;有些甚至不是圖靈機(jī)(稱為不可計(jì)算機(jī))也無法識(shí)別 .

這就是定義如此有用的原因 . 我們?cè)贑S evey日遇到的許多事情都可以用正式語言來表達(dá) .

為了對(duì)這個(gè)主題做一個(gè)很好的介紹，我強(qiáng)烈推薦Hopcroft等人出版的“自動(dòng)機(jī)理論，語言和計(jì)算簡(jiǎn)介” .

總結(jié)

以上是生活随笔為你收集整理的计算机科学学什么语言,在计算机科学中，什么不是正式语言？ [关闭]的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

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