Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 09:14, 21 января 2012 (разн. | история) . . (-2) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (Быстрое исправление тупой баги)
- 08:53, 21 января 2012 (разн. | история) . . (+391) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Убрано много-премного бреееееда)
- 08:02, 21 января 2012 (разн. | история) . . (+644) . . Регулярные языки: два определения и их эквивалентность (Переработка первой части доказательства (суровая такая))
- 07:22, 21 января 2012 (разн. | история) . . (+167) . . Регулярные языки: два определения и их эквивалентность (Пофикшены определения)
- 09:59, 17 января 2012 (разн. | история) . . (+6) . . м Регулярные языки: два определения и их эквивалентность (Изменение форматирования)
- 09:47, 17 января 2012 (разн. | история) . . (+19) . . м Доказательство нерегулярности языков: лемма о разрастании
- 09:36, 17 января 2012 (разн. | история) . . (-2) . . м Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (→Алгоритм проверки на включение)
- 09:13, 17 января 2012 (разн. | история) . . (+31) . . м Эквивалентность состояний ДКА
- 09:08, 17 января 2012 (разн. | история) . . (+108) . . м Автоматы с eps-переходами. Eps-замыкание (→Совпадение множеств языков, допускаемых eps-НКА и ДКА)
- 09:06, 17 января 2012 (разн. | история) . . (+54) . . м Автоматы с eps-переходами. Eps-замыкание (→Совпадение множеств языков, допускаемых eps-НКА и ДКА)
- 09:00, 17 января 2012 (разн. | история) . . (+150) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона (Добавил ссылочки на ДКА и НКА)
- 08:55, 17 января 2012 (разн. | история) . . (+1) . . м Недетерминированные конечные автоматы (Пропущенная запятая)
- 08:44, 17 января 2012 (разн. | история) . . (+162) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Переформулировка теоремы. Теперь она, кажется, нормальная)
- 08:32, 17 января 2012 (разн. | история) . . (-7) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 08:29, 17 января 2012 (разн. | история) . . (+182) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Фиксы в формулировках и русском языке)
- 08:19, 17 января 2012 (разн. | история) . . (-41) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (ой, забыл)))
- 08:17, 17 января 2012 (разн. | история) . . (+348) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Полностью переделано оформление + исправлено много чего в тексте)
- 07:12, 17 января 2012 (разн. | история) . . (+12) . . м Регулярные языки: два определения и их эквивалентность (Мелкие фиксы)
- 07:22, 5 января 2012 (разн. | история) . . (+1960) . . Н Обсуждение:Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (ToDo) (текущая)
- 06:21, 5 января 2012 (разн. | история) . . (0) . . м Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 05:45, 20 декабря 2011 (разн. | история) . . (+803) . . Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (ToDo2)
- 05:57, 19 декабря 2011 (разн. | история) . . (+940) . . Н Обсуждение:Вычислимые функции (ToDo) (текущая)
- 05:11, 19 декабря 2011 (разн. | история) . . (+2) . . м Вычислимые функции
- 02:10, 19 декабря 2011 (разн. | история) . . (+1418) . . Н Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (ToDoAndDoAndDo)
- 00:51, 19 декабря 2011 (разн. | история) . . (+1187) . . Н Обсуждение:Перечислимые языки (ToDo)
- 09:17, 14 декабря 2011 (разн. | история) . . (+503) . . Н Обсуждение:Разрешимые (рекурсивные) языки (Невскидку)
- 07:13, 9 декабря 2011 (разн. | история) . . (-1) . . м Недетерминированные конечные автоматы (→Язык автомата)
- 08:11, 5 декабря 2011 (разн. | история) . . (+896) . . Обсуждение:Лемма Огдена (ToDo)
- 23:49, 26 ноября 2011 (разн. | история) . . (+953) . . Обсуждение:Существенно неоднозначные языки (ToDo2)
- 23:48, 26 ноября 2011 (разн. | история) . . (+6) . . м Существенно неоднозначные языки
- 06:16, 22 ноября 2011 (разн. | история) . . (+1900) . . Н Обсуждение:Существенно неоднозначные языки (Про баги (тысячи их))
- 21:22, 16 ноября 2011 (разн. | история) . . (+4) . . м Эквивалентность состояний ДКА
- 06:54, 14 ноября 2011 (разн. | история) . . (+527) . . Н Обсуждение:Недетерминированные конечные автоматы (Про баги в статье)
- 06:54, 14 ноября 2011 (разн. | история) . . (-10) . . м Недетерминированные конечные автоматы
- 06:20, 14 ноября 2011 (разн. | история) . . (+7) . . м Эквивалентность состояний ДКА (Пунктуация и орфография)
- 17:38, 11 ноября 2011 (разн. | история) . . (+340) . . Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (По поводу сложности)
- 17:31, 11 ноября 2011 (разн. | история) . . (0) . . м Регулярные языки: два определения и их эквивалентность
- 17:31, 11 ноября 2011 (разн. | история) . . (+1) . . м Регулярные языки: два определения и их эквивалентность
- 06:53, 10 ноября 2011 (разн. | история) . . (-1) . . м Формальные грамматики
- 05:56, 10 ноября 2011 (разн. | история) . . (+2) . . м Формальные грамматики
- 05:36, 10 ноября 2011 (разн. | история) . . (+2) . . м Формальные грамматики (Маленькие фиксы)
- 21:05, 9 ноября 2011 (разн. | история) . . (+642) . . Н Обсуждение:Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики (Что исправить) (текущая)
- 20:57, 9 ноября 2011 (разн. | история) . . (+24) . . Обсуждение:Формальные грамматики
- 20:41, 9 ноября 2011 (разн. | история) . . (+43) . . м Обсуждение:Формальные грамматики
- 20:40, 9 ноября 2011 (разн. | история) . . (+2180) . . Н Обсуждение:Формальные грамматики (Что исправить в статье)
- 06:40, 7 ноября 2011 (разн. | история) . . (-28) . . м Регулярные языки: два определения и их эквивалентность (Мелкие фиксы)
- 05:42, 7 ноября 2011 (разн. | история) . . (+55) . . Обсуждение:Регулярные языки: два определения и их эквивалентность
- 05:38, 7 ноября 2011 (разн. | история) . . (-55) . . м Регулярные языки: два определения и их эквивалентность (Убрана последняя ненужная фраза в доказательстве, пофиксено неправильное тире)
- 05:35, 7 ноября 2011 (разн. | история) . . (+778) . . Н Обсуждение:Регулярные языки: два определения и их эквивалентность (Баги в конспекте)
- 01:27, 5 ноября 2011 (разн. | история) . . (+1) . . Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)