基本介紹
- 中文名:形式語言理論
- 外文名:formal language theory
- 起始時間:20世紀初
形式語言理論是用數學方法研究自然語言(如英語)和人工語言(如程式設計語言)的語法的理論。它只研究語言的組成規則,不研究語言的含義。形式語言理論在自然語言的理解...
數學、邏輯和計算機科學中,形式語言(英語:Formal language)是用精確的數學或機器可處理的公式定義的語言。如語言學中語言一樣,形式語言一般有兩個方面: 語法和語義...
形式語言學是國際語言學研究的主流學派,主要是建立一套形式化的原則和規則系統,試圖從語言結構內部尋找對語言現象的解釋。...
關於計算和計算機械的數學理論,也稱為計算理論或計算機科學的數學基礎。理論計算機科學主要包括:①自動機論與形式語言理論②程式理論③形式語義學④算法分析和計算複雜...
《形式語言,自動機理論與計算導論》是2012年2月1日由電子工業出版社出版的圖書,作者是卡馬拉(Kamala Krithivasan)、拉瑪(Rama R),譯者是孟宇龍、李健利、王宇華...
( 2) 計算理論( 算法設計與分析、複雜性理論、可計算性理論等)( 3) 語言理論( 形式語言理論、自動機理論、形式語義學、計算語言學等)...
第六屆形式語言學國際研討會暨語言獲得、語言障礙及語言評估國際研討會在清華大學舉辦。來自中國內地、香港、台灣、巴西、法國、美國、日本、匈牙利、義大利、伊朗、...
計算理論主要包括算法、算法學、計算複雜性理論、可計算性理論、自動機理論和形式語言理論等。作為計算機科學的理論基礎的計算理論已經廣泛套用於科學的各個領域,程式...
語言模型主要有三種類型:①生成性模型,②分析性模型,③辨識性模型。生成性模型從一個形式語言系統出發,生成語言的某一集合,如N.喬姆斯基的形式語言理論和轉換語法。...
語用是研究語言符號及其解釋和用途之間關係的一種理論。語用內容 編輯 屬形式語言理論的一部分,研究形式語言的操作含義。 [1] 參考資料 1. 夏征農,陳至立主編;乾...
60年代初、中期,主持和作為主力研製出我國最早的實用高級程式語言BCY和有關計算機上的編譯器,其後的工作包括形式語言理論、編譯技術。從50年代後期起從事計算機軟體...
在形式語言理論中,Myhill–Nerode 定理提供了一個語言是正則語言的必要和充分條件。它近乎專門的被用來證明一個給定語言不是正則的。這個定理得名於 John Myhill ...
可見,結構模式識別是以形式語言為理論基礎的,它將一個複雜的模式分解成一系列更簡單的模式(子模式),對子模式繼續分解,最後分解成最簡單的子模式(或稱基元).藉助...