Как проверить, является ли язык регулярным, контекстно-свободным, дет. без контекста или типа 0
Я должен решить для нескольких языков, являются ли они обычными, контекстно-свободными, дет. без контекста или типа 0. Я понимаю, как показать язык не быть регулярным (используя лемму прокачки), но как очень быстро решить его для других типов языков? Первый язык
{a,b,c}* \ {a^n b^n c^n | n is element of natural numbers}