7.1 利用形式语言增强提示