摘要

引入模糊代数系统及其强解的概念,给出其特有性质。定义proper和V-proper模糊代数系统,并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解。模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的。