Изменения

Перейти к: навигация, поиск

Лемма Огдена

11 байт добавлено, 15:39, 3 марта 2018
→‎Пример 2
}}
=== Пример <tex>2 </tex> ===
{{Утверждение
|statement=Язык <tex>L = {a^mb^nc^l}</tex>, где <tex> m, n, l </tex> {{---}} попарно различны, не является КС-языком.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/63897»

Навигация