Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 14:31, 23 мая 2014 (разн. | история) . . (+330) . . Обсуждение:Примеры матроидов (текущая)
- 06:35, 22 января 2014 (разн. | история) . . (+770) . . Обсуждение:Двоичный каскадный сумматор (→Более простое и понятное построение: Новая тема) (текущая)
- 19:33, 14 января 2014 (разн. | история) . . (+526) . . Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (текущая)
- 19:13, 14 января 2014 (разн. | история) . . (+427) . . Обсуждение:Контексты и синтаксические моноиды
- 02:03, 1 октября 2013 (разн. | история) . . (+192) . . Обсуждение:Дискретная математика и алгоритмы
- 04:00, 19 февраля 2013 (разн. | история) . . (+111) . . Сопряжённый оператор (студенты итмо последнее днище, я вас ненавижу, хватит ходить на митинги, учите матан)
- 15:04, 15 февраля 2013 (разн. | история) . . (+84) . . Н Обсуждение:Язык программирования Java (Новая страница: «Разве этот конспект правда будет проверяемым?»)
- 14:17, 13 февраля 2013 (разн. | история) . . (-282) . . Метрические пространства (и нечего панику разводить)
- 20:16, 19 сентября 2012 (разн. | история) . . (+160) . . Доказательство нерегулярности языков: лемма о разрастании (Отмена правки 27233 участника Roman Kolganov (обсуждение) wrong)
- 20:14, 19 сентября 2012 (разн. | история) . . (-160) . . Доказательство нерегулярности языков: лемма о разрастании
- 20:24, 27 июня 2012 (разн. | история) . . (+197) . . Обсуждение:Теоретический минимум по математическому анализу за 4 семестр (текущая)
- 18:29, 24 января 2012 (разн. | история) . . (+4) . . Перечислимые языки
- 18:08, 24 января 2012 (разн. | история) . . (+80) . . Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
- 17:58, 24 января 2012 (разн. | история) . . (-256) . . Теория формальных языков (это в диагональном методе)
- 17:56, 24 января 2012 (разн. | история) . . (+10) . . Лемма Огдена
- 17:42, 24 января 2012 (разн. | история) . . (-504) . . Детерминированные автоматы с магазинной памятью
- 17:38, 24 января 2012 (разн. | история) . . (+1) . . Совпадение множества языков МП-автоматов и контекстно-свободных языков
- 17:33, 24 января 2012 (разн. | история) . . (+43) . . МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
- 17:24, 24 января 2012 (разн. | история) . . (-15) . . Автоматы с магазинной памятью
- 17:05, 24 января 2012 (разн. | история) . . (+1026) . . Приведение грамматики к ослабленной нормальной форме Грейбах
- 16:58, 24 января 2012 (разн. | история) . . (+230) . . Нормальная форма Хомского
- 16:35, 24 января 2012 (разн. | история) . . (+4) . . Удаление длинных правил из грамматики
- 16:23, 24 января 2012 (разн. | история) . . (+4) . . Удаление цепных правил из грамматики
- 16:18, 24 января 2012 (разн. | история) . . (-2) . . Удаление eps-правил из грамматики
- 16:08, 24 января 2012 (разн. | история) . . (+123) . . Удаление бесполезных символов из грамматики
- 21:50, 23 января 2012 (разн. | история) . . (+74) . . Решение уравнений в регулярных выражениях
- 21:12, 23 января 2012 (разн. | история) . . (+302) . . Доказательство нерегулярности языков: лемма о разрастании
- 20:16, 23 января 2012 (разн. | история) . . (-42) . . Прямое произведение ДКА
- 20:14, 23 января 2012 (разн. | история) . . (+11) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 19:55, 23 января 2012 (разн. | история) . . (-5801) . . Эквивалентность состояний ДКА
- 19:52, 23 января 2012 (разн. | история) . . (-109) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 19:37, 23 января 2012 (разн. | история) . . (-1825) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 19:31, 23 января 2012 (разн. | история) . . (+39) . . Эквивалентность состояний ДКА
- 19:23, 23 января 2012 (разн. | история) . . (+48) . . Эквивалентность состояний ДКА
- 19:11, 23 января 2012 (разн. | история) . . (+4) . . Теорема Клини (совпадение классов автоматных и регулярных языков)
- 19:09, 23 января 2012 (разн. | история) . . (-15) . . Автоматы с eps-переходами. Eps-замыкание
- 19:03, 23 января 2012 (разн. | история) . . (+332) . . Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Псевдокод алгоритма немного странный: Новая тема)
- 18:26, 23 января 2012 (разн. | история) . . (+10) . . Детерминированные конечные автоматы
- 18:14, 23 января 2012 (разн. | история) . . (+5) . . Регулярные языки: два определения и их эквивалентность
- 18:05, 23 января 2012 (разн. | история) . . (+13) . . Регулярные языки: два определения и их эквивалентность
- 10:11, 22 января 2012 (разн. | история) . . (+166) . . Н Обсуждение:Эквивалентность состояний ДКА (Новая страница: «Почему же эта и следующая статьи так похожи?--~~~~»)
- 08:49, 11 ноября 2011 (разн. | история) . . (0) . . Иерархия Хомского формальных грамматик
- 08:41, 11 ноября 2011 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании
- 08:37, 11 ноября 2011 (разн. | история) . . (+363) . . Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (→Очень сложно: Новая тема)
- 08:23, 11 ноября 2011 (разн. | история) . . (-29) . . Обсуждение:Регулярные языки: два определения и их эквивалентность
- 08:21, 11 ноября 2011 (разн. | история) . . (+29) . . Обсуждение:Регулярные языки: два определения и их эквивалентность
- 08:21, 11 ноября 2011 (разн. | история) . . (+351) . . Обсуждение:Регулярные языки: два определения и их эквивалентность (→Язык и множество языков: Новая тема)
- 08:12, 11 ноября 2011 (разн. | история) . . (+210) . . Н Обсуждение:Операции над языками: теоретико-множественные операции, конкатенация, замыкание Клини (Вандалы отаке) (текущая)
- 08:07, 11 ноября 2011 (разн. | история) . . (+345) . . Н Обсуждение:Замкнутость регулярных языков относительно различных операций (Вандалы отаке)
- 07:59, 11 ноября 2011 (разн. | история) . . (+451) . . Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах (→Вандалы отаке: Новая тема)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
