【形式語言】

豐碩

【形式語言】

 

FormalLanguage

 

【辭書名稱】教育大辭書

 

為精確的表達概念與涵義、邏輯、數學與電腦等領域所使用的人工語言(artificiallanguage)，是經過特別設計的語言系統，有獨特的符號、語意與語法，主要的目的在表現特定的結構關係，而不是特定的實質內容，是為形式語言。

 

另一方面的日常生活語言（或稱自然語言，naturallanguage），由於很多的字言都各有不同的涵義與用法，同時由於人類的語言行為常與語言本身互相影響，因此很容易發生語意不明的現象，才有各種形式語言的產生。

 

數學運算與符號邏輯等形式語言，雖然都是相當獨立的語言系統，也不具有特定的實質內容，卻都反映了日常語言的部分邏輯，更可以用來協助解決很多的日常生活問題。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary