系统给定一个文法来实现do A until B 语句中的A和B，在用户输入A和B语句后，根据文法对until语句进行词法分析和语法分析，如果分析无误，系统就会输出符合语法要求的四元式。