什么是一种符号化的语言