形式記述言語
【けいしききじゅつげんご】
【keishikikijutsugengo】
形式描述语言