История
17 января 2016
16 января 2016
15 января 2016
14 января 2016
→МП-автоматы
-5
→МП-автоматы
м-1
→Примеры неразрешимых задач
-5
→Примеры неразрешимых задач
-5
→Базовые понятия о грамматиках
-5
→НКА
-5
28 декабря 2015
→Примеры неразрешимых задач
м-7
→МП-автоматы
м+15
→Опровержение контекстно-свободности языка
м-32
→Опровержение контекстно-свободности языка
м+7
→Примеры неразрешимых задач
м+7
→Алгоритмы разбора
м+7
23 декабря 2015
→Примеры неразрешимых задач
м+30
→Разрешимые и перечислимые языки
+15
→МП-автоматы
м+15
→Базовые понятия о грамматиках
м+15
→НКА
м+15
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