可識別語言

在數學和計算機科學中 ， 可識別語言是可被有限狀態機識別的形式語言 。 等價的說 ， 可識別語言是語法關係的商的家族爲有限的的形式語言 。