Где заканчиваются возможности конечного автомата?

На конкретных примерах показать ограничения регулярных языков: почему некоторые конструкции естественного языка нельзя корректно описать конечным автоматом. Переход от регулярных языков к контекстно-свободным грамматикам.