Вопрос связанный с грамматиками языков

[duxarus]

Вопрос связанный с грамматиками языков

Даны две грамматики:
a^n*b^n - контекстно-свободная грамматика
a^n*b^m - регулярная.

По Хомскому регулярная является подмножеством к-с, но если посмотреть, то понятно, что в a^n*b^m получится больше цепочек, потому что можно поставить разные степени. Откуда такой парадокс?

Такой вопрос был поставлен преподавателем.

 

[prima]

А кто сказал, что m может быть больше n?
Мне наш математик на экзамене нарисовал от руки мелом на доске треугольник со вписанной окружностью, провёл построения двумя способами и нашёл два разных центра у одной окружности. И тоже спросил, в чём парадокс. Пришлось доказывать, что пара линий ни при каких обстоятельствах не может пересекаться в той области, где он это нарочито небрежно нарисовал.