在数学和计算机科学中，可识别语言是可被有限状态机识别的形式语言。等价的说，可识别语言是语法关系的商的家族为有限的的形式语言。
给定一个幺半群 M，在 M 上的语言简单的是子集 L ⊂ M {\displaystyle L\subset M} 。这样的语言被称为在 M 上可识别的，如果有在 M 上的有限状态机接受 L 作为输入。在 M 上的有限状态机简单的是以 M 的元素作为输入，接受或拒绝它们的有限自动机。
在 M 上的可识别语言的家族指示为 R E C ( M ) {\displaystyle REC(M)} 。
如果 M 是在某个字母表 Σ {\displaystyle \Sigma } 上自由幺半群 Σ ∗ {\displaystyle \Sigma ^{*}} ，则家族 R E C ( Σ ∗ ) {\displaystyle REC\left(\Sigma ^{*}\right)} 是正则语言 R E G ( Σ ∗ ) {\displaystyle REG\left(\Sigma ^{*}\right)} 的家族。
。这样的语言被称为在 M 上可识别的，如果有在 M 上的有限状态机接受 L 作为输入。在 M 上的有限状态机简单的是以 M 的元素作为输入，接受或拒绝它们的有限自动机。
。
上自由幺半群 
，则家族 
是正则语言 
的家族。
