可识别语言 在数学和计算机科学中可识别语言是可被有限状态机识别的形式语言等价的说可识别语言是语法关系的商的家族为有限的的形式语言