在數學和計算機科學中，可識別語言是可被有限狀態機識別的形式語言。等價的說，可識別語言是語法關係的商的家族為有限的的形式語言。
給定一個幺半群 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 的元素作為輸入，接受或拒絕它們的有限自動機。
。
上自由幺半群 
，則家族 
是正則語言 
的家族。
