자연어부터시작해서 최소주의관점으로 접근하다보니까


순환열거언어 문맥인식언어 문맥자유언어 정규언어


순서대로 type 0 1 2 3인데,


아무것도 존재하지 않는다는 시점에서 접근하는게 형식학의 근간이라고 본다면,


비문법언어 정규언어 문맥자유언어 문맥인식언어 순환열거언어


순으로 type 0 1 2 3 4가 맞는거임.