語言膨脹

語言膨脹(expansion of a language)亦稱語言擴充。模型論的基本概念之一指增加新的非邏輯符號的語言。

基本介紹

• 中文名：語言膨脹
• 外文名：expansion of a language
• 類型：術語

設丫及丫‘為兩個形式語言，如果丫是丫‘的子集(這意味著，如果R是丫中的n元關係符號，則R也是丫，中的n元關係符號……)，則稱丫‘為獷的膨脹，稱丫為丫‘的歸約，記為}C丫‘.例如，語言}_ }+}<}0}的一個膨脹語言為

語言膨脹