汉英词典(图标) 形式语言规约模型