formal semantic description的意思|示意
美 / ˈfɔ:məl siˈmæntik disˈkripʃən /
英 / ˈfɔrməl sɪˈmæntɪk dɪˈskrɪpʃən /
形式语义描述，形式语意描述