符号化的机器语言是指