формальный язык на китайском

сущ.
мат.
形式语言 xíngshì yǔyán