Вклад участника
13 ноября 2016
Доказательство нерегулярности языков: лемма о разрастании
Пример языка, удовлетворяющего лемме в общем виде
м+1
Доказательство нерегулярности языков: лемма о разрастании
Пример языка, удовлетворяющего лемме в общем виде
м+1
11 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-10
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
-5
10 ноября 2016
6 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
-5
Замкнутость КС-языков относительно различных операций
Источники информации
м
1 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Опровержение контекстно-свободности языка
-5
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
м+45
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
+7
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
+22
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
м+15
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-45
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
-7
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-7
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-15
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
-15
21 октября 2016
20 октября 2016
Участник:Shersh/Тикеты к 3ему терму
1. Основные определения теории графов
-5
Участник:Shersh/Тикеты к 3ему терму
1. Основные определения теории графов
м-5
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
м-52
19 октября 2016
Участник:Shersh/Тикеты к 5ому терму
Регулярные языки и ДКА
м-5
Детерминированные конечные автоматы
См. также
м+30
Участник:Shersh/Тикеты к 5ому терму
Опровержение контекстно-свободности языка
+7
Участник:Shersh/Тикеты к 5ому терму
Вычислительные формализмы
+7
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
м-7
16 октября 2016
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
+45
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
+7
15 октября 2016
Участник:Shersh/Тикеты к 5ому терму
Примеры неразрешимых задач
-701
Участник:Shersh/Тикеты к 5ому терму
Вычислительные формализмы
-2130
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-794
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
м+15
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
м+22
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
м+7
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
м+7
11 октября 2016
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
-5
Формальные грамматики
Обозначения
м+4
10 октября 2016
28 сентября 2016
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
+7
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
+7
23 сентября 2016
22 сентября 2016
Участник:Shersh/Тикеты ко 2ому терму
11. Алгоритмы поиска
+35
Участник:Shersh/Тикеты ко 2ому терму
Сортировки на сравнениях
-18
Участник:Shersh/Тикеты ко 2ому терму
Сортировки на сравнениях
-491
Участник:Shersh/Тикеты ко 2ому терму
5. Поисковые структуры данных
-87
Участник:Shersh/Тикеты ко 2ому терму
3. Приоритетные очереди
-1327
Участник:Shersh/Тикеты ко 2ому терму
1. Амортизационный анализ
+42
Участник:Shersh/Тикеты к 1ому терму
8. Теория вероятностей
-1856
Участник:Shersh/Тикеты к 1ому терму
3. Схемы из функциональных элементов
+23
Участник:Shersh/Тикеты к 1ому терму
2. Булевы функции
+89
