История
23 декабря 2015
22 декабря 2015
→Вычислительные формализмы
м-5
→Вычислительные формализмы
-15
→Разрешимые и перечислимые языки
м-5
→Опровержение контекстно-свободности языка
м-5
→Регулярные языки и ДКА
м-5
21 декабря 2015
→МП-автоматы
м-5
→Нормальные формы КС-грамматик
м-5
→Вычислительные формализмы
м+7
→Вычислительные формализмы
м+60
→Разрешимые и перечислимые языки
м+15
→МП-автоматы
м+15
→Опровержение контекстно-свободности языка
м+15
→Нормальные формы КС-грамматик
м+15
→Регулярные языки и ДКА
м+15
→Свойства конечных автоматов
м-7
→Минимизация ДКА
м-7
20 декабря 2015
18 декабря 2015
15 декабря 2015
8 декабря 2015
9 ноября 2015
6 ноября 2015
→3. Теория вычислимости (проверяется): проверена
-25
→Примеры неразрешимых задач
-587
→Вычислительные формализмы
-1970
→Разрешимые и перечислимые языки
-1109
16 октября 2015
10 октября 2015
6 октября 2015
3 октября 2015
15 сентября 2015
12 сентября 2015
6 сентября 2015
3 сентября 2015
12 января 2015
→Разрешимые и перечислимые языки
-10
→Разрешимые и перечислимые языки
+7
→Разрешимые и перечислимые языки
м+43
→Разрешимые и перечислимые языки
-5
→Вычислительные формализмы
-73
11 января 2015
→2. Контекстно-свободные грамматики
-7
→Вычислительные формализмы
+7
→2. Контекстно-свободные грамматики
+7
→1. Автоматы и регулярные языки
-7
→2. Контекстно-свободные грамматики
+123
→Примеры неразрешимых задач
+7