فورمالىنىڭ تەسۋىر تىلى

ماتېماتىكا 形式描述语言 xíng shì miáo shù yǔ yán