在这两种形式中，从左到右均表示解释。用下述两条具体规则和上述规则形式实现。设大写字母表示魔王语言的词汇；小写字母表示人的语言词汇；希腊字母表示可以用大写字母或小写字母代换的变量。魔王语言可含人的词汇。-In both forms, from left to right are said to explain. Rules and with the following two specific forms of realization of the above rules. Located in