Изменения

# [[Лемма о разрастании для КС-грамматик]]

# [[Лемма Огдена]]

## добавить английские термины

## добавить всякое интервики

# [[Автоматы с магазинной памятью]]

# [[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]

## Исправить оформление списков: нужно использовать либо точки, либо нумерацию числами/символами, но не оба способа одновременно.

## Картинка. Что она означает?

## ссылки на вики

## а зачем оно нужно?

## во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)

## дать ссылки на английские источники и термины

# '''взяли''' [[Неразрешимость исчисления предикатов первого порядка]]

## написать. Это очень просто на самом деле, если немного помнить матлогику

## написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.

# [[Теорема Райса-Шапиро]]