正規言語

有限状態遷移オートマトンによって、与えられた言語の長さ n に 対して O(n) 時間で認識できる言語の集合。 正規表現によって記述できる。