用下述两条具体规则和上述规则形式 (2) 实现。 设大写字母表示魔王语言解 释的词汇 , 小写字母表示人的语言的词汇；希腊字母表示可以用大写或小写字母 代换的变量。 魔王语言可含人的词汇。 (1).Β→ tΑdΑ (2).Α→ sae