正規表現があらわす記号列(アルファベット列)の集合によって形式言語が定義される。