Редактирование: Теория формальных языков:Тикеты

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 3: Строка 3:
 
<ol>
 
<ol>
 
<li>[[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками]]</li>
 
<li>[[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками]]</li>
<li>[[Регулярные языки: два определения и их эквивалентность | Регулярные языки: два определения и их эквивалентность, регулярные выражения]] 0.5</li>
+
<li>[[Регулярные языки: два определения и их эквивалентность | Регулярные языки: два определения и их эквивалентность, регулярные выражения]]</li>
# поправить тех
 
 
<li>[[Детерминированные конечные автоматы]]</li>
 
<li>[[Детерминированные конечные автоматы]]</li>
<li>[[Прямое произведение ДКА]] 0.5</li>
+
<li>[[Прямое произведение ДКА]]</li>
# поправить тех
+
<li>[[Простой сопоставитель регулярных выражений]] <tex> \star </tex></li>
<li>[[Простой сопоставитель регулярных выражений]] 0.5 <tex> \star  
 
</tex></li>
 
# поправить тех
 
 
=== НКА ===
 
=== НКА ===
 
<li>[[Недетерминированные конечные автоматы]]</li>
 
<li>[[Недетерминированные конечные автоматы]]</li>
Строка 19: Строка 15:
 
=== Минимизация ДКА ===
 
=== Минимизация ДКА ===
 
<li>[[Эквивалентность состояний ДКА]]</li>
 
<li>[[Эквивалентность состояний ДКА]]</li>
<li>[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]] 0.5</li>
+
<li>[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]</li>
# поправить тех
+
<li>[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]</li>
<li>[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]
 
0.5</li>
 
# поправить тех
 
# заменить дефис на тире, там где это надо
 
 
<li>[[Алгоритм Бржозовского]]<tex> ^\star </tex></li>
 
<li>[[Алгоритм Бржозовского]]<tex> ^\star </tex></li>
 
=== Свойства конечных автоматов ===
 
=== Свойства конечных автоматов ===
<li>[[Доказательство нерегулярности языков: лемма о разрастании]] 0.5</li>
+
<li>[[Доказательство нерегулярности языков: лемма о разрастании]]</li>
# оформить правильно английские термины
+
<li>[[Интерпретация булевых формул с кванторами как игр для двух игроков]]</li>
<li>[[Интерпретация булевых формул с кванторами как игр для двух игроков]] 2</li>
 
# Создать новый конспект и вынести материал из статьи "Исчисление предикатов"
 
 
<li>[[Решение уравнений в регулярных выражениях]]</li>
 
<li>[[Решение уравнений в регулярных выражениях]]</li>
<li>[[Замкнутость регулярных языков относительно различных операций]]
+
<li>[[Замкнутость регулярных языков относительно различных операций]]</li>
0.5</li>
 
# поправить тех
 
 
<li>[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]</li>
 
<li>[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]</li>
<li>[[Контексты и синтаксические моноиды]] 0.5</li>
+
<li>[[Контексты и синтаксические моноиды]]</li>
# поправить тех
 
 
=== Другие автоматы ===
 
=== Другие автоматы ===
<li>[[Локальные автоматы]]<tex> ^\star </tex> 0.5 </li>
+
<li>[[Локальные автоматы]]<tex> ^\star </tex></li>
# поправить тех
 
 
<li>[[Двусторонний детерминированный конечный автомат]]<tex> ^\star </tex></li>
 
<li>[[Двусторонний детерминированный конечный автомат]]<tex> ^\star </tex></li>
 
<li>[[Квантовые конечные автоматы]]<tex> ^\star </tex></li>
 
<li>[[Квантовые конечные автоматы]]<tex> ^\star </tex></li>
 
<li>[[Автоматы Мура и Мили]]<tex> ^\star </tex></li>
 
<li>[[Автоматы Мура и Мили]]<tex> ^\star </tex></li>
<li>[[Автоматы в современном мире]]<tex> ^\star </tex> 0.5</li>
+
<li>[[Автоматы в современном мире]]<tex> ^\star </tex></li>
# поправить тех
 
 
 
 
== Контекстно-свободные грамматики ==
 
== Контекстно-свободные грамматики ==
 
=== Базовые понятия о грамматиках ===
 
=== Базовые понятия о грамматиках ===

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)