摘要:抽象语言族 正文 某些代数运算下具有封闭性的形式语言类,简称AFL。抽象语言族是用代数方法研究形式语言理论的重要成果。 基本定义 令∞为无限字母表,在其任一有限子集i上构造语言。如果任何一组语言{Li}中至少包含一个,则称{Li}为一语言族。 在同态、逆同态和与正则语言相交下保持封闭的语言族称为满三重组。对并运算封闭的满三重组称为满半AFL。对乘幂闭包封闭的满半 AFL称为满AFL。从一个语言族出发,经上述代数运算后得到的闭包分别称为由生成的满三重组、满半AFL和[阅读全文]