Теория формальных языков:Тикеты - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:11:13Z

rollbackEdits.php mass rollback

185.220.100.252 в 06:12, 1 сентября 2022

2022-09-01T06:12:11Z

Lapenok.aleksej: /* МП-автоматы */

2018-02-18T20:53:53Z

‎МП-автоматы

Lapenok.aleksej: /* Опровержение контекстно-свободности языка */

2018-02-18T20:47:05Z

‎Опровержение контекстно-свободности языка

Lapenok.aleksej: /* Алгоритмы разбора */

2018-02-18T20:44:55Z

‎Алгоритмы разбора

Lapenok.aleksej: /* Нормальные формы КС-грамматик */

2018-02-18T20:42:41Z

‎Нормальные формы КС-грамматик

Lapenok.aleksej: /* Базовые понятия о грамматиках */

2018-02-18T20:38:25Z

‎Базовые понятия о грамматиках

Lapenok.aleksej: /* Автоматы и регулярные языки */

2018-02-16T13:20:52Z

‎Автоматы и регулярные языки

Lapenok.aleksej: /* Алгоритмы разбора */

2018-02-12T13:40:00Z

‎Алгоритмы разбора

Lapenok.aleksej: /* Алгоритмы разбора */

2018-02-12T13:24:05Z

‎Алгоритмы разбора

← Предыдущая		Версия 16:11, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	== Автоматы и регулярные языки ==		== Автоматы и регулярные языки ==
	=== Регулярные языки и ДКА ===		=== Регулярные языки и ДКА ===

← Предыдущая		Версия 06:12, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	== Автоматы и регулярные языки ==		== Автоматы и регулярные языки ==
	=== Регулярные языки и ДКА ===		=== Регулярные языки и ДКА ===

@@ Строка 97: / Строка 97: @@
 === МП-автоматы ===
 <li>[[Автоматы с магазинной памятью]]
-</li><li>[[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]
+</li><li>[[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]] 0.5
-</li><li>[[Совпадение множества языков МП-автоматов и контекстно-свободных языков]]
+# Добавить см. также
-</li><li>[[Детерминированные автоматы с магазинной памятью]]
+</li><li>[[Совпадение множества языков МП-автоматов и контекстно-свободных языков]] 0.5
-</li><li>[[Детерминированные автоматы с магазинной памятью, допуск по пустому стеку]]
+# Поправить тех
 </li><li>[[Нормальная форма ДМП-автомата]]<tex> ^\star </tex>
 </li><li>[[Эквивалентность ДМП-автоматов]]<tex> ^\star </tex>

@@ Строка 88: / Строка 88: @@
 === Опровержение контекстно-свободности языка ===
 </li><li>[[Лемма о разрастании для КС-грамматик]]
-</li><li>[[Лемма Огдена]]
+</li><li>[[Лемма Огдена]] 0.5
-</li><li>[[Существенно неоднозначные языки]]
+# В названиях раздела цифры в тех
 </li><li>[[Теорема Парика]]<tex> ^\star </tex>
 </li>
 === МП-автоматы ===
 <li>[[Автоматы с магазинной памятью]]

@@ Строка 76: / Строка 76: @@
 === Алгоритмы разбора ===
-<li>[[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]]
+<li>[[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]] 0.5
-</li><li>[[Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики]]
+# Поправить тех
 </li><li>[[Алгоритм Эрли]] 2
 # разобраться с псевдокодами, там определенно есть лажа в индексах

@@ Строка 65: / Строка 65: @@
 <li>[[Удаление бесполезных символов из грамматики]]
 </li><li>[[Удаление длинных правил из грамматики]]
-</li><li>[[Удаление eps-правил из грамматики]]
+</li><li>[[Удаление eps-правил из грамматики]] 0.5
 </li><li>[[Удаление цепных правил из грамматики]]
 </li><li>[[Нормальная форма Хомского]]
 </li><li>[[Устранение левой рекурсии]]
 </li><li>[[Приведение грамматики к ослабленной нормальной форме Грейбах]]
-</li><li>[[Нормальная форма Куроды]]<tex> ^\star </tex>
+</li><li>[[Нормальная форма Куроды]]<tex> ^\star </tex> 0.5
 </li>
 === Алгоритмы разбора ===
 <li>[[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]]

@@ Строка 51: / Строка 51: @@
 <li>[[Формальные грамматики]]
 </li><li>[[Иерархия Хомского формальных грамматик]]
-</li><li>[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]]
+</li><li>[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]] 1
-</li><li>[[Правоконтекстные грамматики, эквивалентность автоматам]]
+# Поправить тех
-</li><li>[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]]
+</li><li>[[Правоконтекстные грамматики, эквивалентность автоматам]] 0.5
-</li><li>[[Замкнутость КС-языков относительно различных операций]]
+# Добавить см. также
 </li><li>[[Регулярная аппроксимация КС-языков]]<tex> ^\star </tex>
 </li>
 === Нормальные формы КС-грамматик ===
 <li>[[Удаление бесполезных символов из грамматики]]

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