讓我先談談你的問題 . 一個很好的非正式語言的例子是自然語言 . 英語和斯洛文尼亞就是例子 . Tagalog和Tarifit Berber也是如此 . 不幸的是，語言學家似乎沒有對所有人都同意的自然語言的定義 .

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

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

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

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

這就是定義如此有用的原因 . 我們在CS evey日遇到的許多事情都可以用正式語言來表達 .

為了對這個主題做一個很好的介紹，我強烈推薦Hopcroft等人出版的“自動機理論，語言和計算簡介” .

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。