【抽象語言系列】

豐碩

【抽象語言系列】

 

英語翻譯：abstractfamilyoflanguages

 

【辭書名稱】資訊與通信術語辭典

 

如果語言系列F至少包含一個非空語言，且關於聯集、交集、正閉包與正則語言的交、無空串的同態以及逆同態等運算封閉，則稱F為抽象語言系列。

 

例如F語言系列的兩個語言為L和K。

 

LUK＝{x｜xL或xK}LK＝{x｜x＝uv,uL,vK}後者表示LK中的串由L中的串和K中的串連接而成。

 

如果對F中兩個語言L和K，LUKF和LKF成立，則語言系列F關於聯集交集運算封包。

 

若語言L正封包為L＋＝L1UL2U.....其中L1＝L，Li＝Li－1L（i＞1）如果對F中每個L，L＋F，則稱F關於正封包運算封閉。

 

 

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