formal semantic model形式: form; shape; layout; modalit ...语义: semanteme; semantics模型: model; pattern语义模型: semantic model形式语义: formal definition; formal semantics of programming languages下载手机词典可随时随地查词查翻译
