Вклад участника
27 ноября 2016
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
м+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
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
м-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
