Kararsız Diller

Kararsız bir dil için, dili kabul eden ve her girdi dizisi için bir karar veren Turing Makinesi yoktur. w(TM bazı girdi dizeleri için karar verebilir). Bir karar sorunuP "karar verilemez" olarak adlandırılırsa L tüm evet örneklerinden Pkarar verilemez. Kararsız diller yinelemeli diller değildir, ancak bazen yinelemeli olarak numaralandırılabilir diller olabilirler.