Type1.5 Language

Type1(文脈依存)とType2(文脈自由)の間にあるような言語・文法のクラス色々。（Type1.5という呼び方は今適当に考えたのでお外で使ってはいけません。）多項式時間で構文解析できるけど文脈自由は越えるようなクラス（という定義はまったく正確ではないが）は"Mildly Context-Sensitive"などと呼ばれたりする。