Вклад участника
5 декабря 2016
Простой сопоставитель регулярных выражений
Алгоритм
м+23
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
м+10
4 декабря 2016
Дискретное преобразование Фурье
Применение ДПФ
м+19
Euler tour graphs
переименовал Euler tour graphs в Эйлеровы графы
Деревья Эйлерова обхода
переименовал Euler tour graphs в Эйлеровы графы
м
27 ноября 2016
Теорема Вагнера
Нет описания правки
м-2
Теория формальных языков
Регулярные языки и ДКА
м+1
Простой матчер регулярных выражений
переименовал Простой матчер регулярных выражений в Простой сопоставитель регулярных выражений
Простой сопоставитель регулярных выражений
переименовал Простой матчер регулярных выражений в Простой сопоставитель регулярных выражений
мТеория формальных языков
Нет описания правки
м+32
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-15
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
м+1
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
м+6
22 ноября 2016
Участник:Shersh/Тикеты к 3ему терму
6. Раскраски графов
м-5
Дискретная математика, алгоритмы и структуры данных
Основные определения теории графов
мУчастник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
+7
Участник:Shersh/Тикеты к 5ому терму
Вычислительные формализмы
+16
19 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
+7
Участник:Shersh/Тикеты к 5ому терму
Примеры неразрешимых задач
м+15
18 ноября 2016
17 ноября 2016
Рекурсивные функции, представимость в формальной арифметике
переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень
Примитивно рекурсивные функции
переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень
мУчастник:Shersh/Тикеты к 5ому терму
МП-автоматы
м+45
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
+7
15 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
м-5
Исчисление предикатов
Интерпретация булевых формул с кванторами как игр для двух игроков
м-2
13 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
м-5
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
-5
Участник:Shersh/Тикеты к 5ому терму
Примеры неразрешимых задач
+7
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
-5
Доказательство нерегулярности языков: лемма о разрастании
Пример языка, удовлетворяющего лемме в общем виде
м+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