达能
等价的文法类型和表达能力.