История
4 сентября 2022
1 сентября 2022
6 января 2020
2 января 2017
26 декабря 2016
→Альтернативное доказательство с использованием теоремы о рекурсии
+1
→Альтернативное доказательство с использованием теоремы о рекурсии
+349
→Теорема Успенского-Райса
+1647
27 ноября 2016
→Свойства языков
м+1
→Теорема Успенского-Райса
м+6
унификация обозначений
+39
Отмена правки 56309 участника AMaltsev (обсуждение)
-204
смысл a в индексе
+204
26 ноября 2016
24 ноября 2016
улучшено доказательство
+328
Нет описания правки
+8
Отмена правки 56248 участника AMaltsev (обсуждение)
-9
23 ноября 2016
20 ноября 2016
22 декабря 2014
17 декабря 2014
→Примеры
+174
→Свойства языков
+5
→Примеры
+2
→Примеры
Нет описания правки
-1
Нет описания правки
+2
→Свойства языков
+49
→Свойства языков
+47
→Свойства языков
м-1
→Свойства языков
+4
→Теорема Успенского-Райса
+1
→Свойства языков
-1
→Свойства языков
+2
→Свойства языков
-82
→Свойства языков
+104
→Свойства языков
+1
→Свойства языков
→Свойства языков
+1
→Теорема Успенского-Райса
+1
→Теорема Успенского-Райса
+13
→Теорема Успенского-Райса
+76
→Теорема Успенского-Райса
+48
→Теорема Успенского-Райса
-76
→Теорема Успенского-Райса
-104
