非正規言語

いかなる有限オートマトンによってもちょうどそれだけを受理することが不可能であるような言語のこと