啥是一种符号化的机器语言