Понятно, что для Для бесконечного языка применение приведённых в предыдущем разделе приёмов приведёт к началу построения в общем случае бесконечного числа правил грамматики, бесконечного (а не конечного) автомата и т.д., т.е. построения, которое никогда не закончится. Требуется более мощный аппарат, которым служит доказываемая ниже лемма Огдена.
== Лемма ==
