fix names

intro.tex

@@ -20,12 +20,12 @@
 
 Исчерпывающее изложение элементов теории формальных языков и конечных автоматов имеется в ставшей редкостью замечательной монографии А. Ахо и Дж. Ульмана~\cite{AU}, материалы которой в современной форме представлены в~\cite{Hop}. Настоящий учебник содержит систематическое изложение значительной части материала курса <<Теория конечных автоматов и формальных языков>> в объёме, достаточном для успешного его освоения. При изложении материала мы пытались придерживаться канонов монографии А. Ахо и Дж. Ульмана~\cite{AU}, опуская, однако, более глубокие аспекты рассматриваемой теории, на которые не достает времени в рамках данного курса. По курсу <<Теория автоматов и формальных языков>> можно порекомендовать ряд хороших книг, названия некоторых содержатся в списке литературы. 
 
-Учебник состоит из введения, восьми глав, списка литературы и четырёх приложений. В главе~\ref{Chapter1} идет речь о способах задания и распознавания формальных языков; в главе~\ref{Chapter2} исследуются регулярные языки; в главах~\ref{Chapter3} и~\ref{Chapter4} изучаются разные типы конечных автоматов и доказывается совпадение классов конечно-автоматных, регулярных и праволинейных языков; в главе~\ref{Chapter5} изучается булева алгебра регулярных языков, свойства замкнутости операций над регулярными множествами и алгоритмические проблемы регулярных языков; в главах~\ref{cfg-intro} и~\ref{normal-cfg} исследуются контекстно-свободные грамматики и языки; в главе~\ref{Chapter8FSMSM} устанавливается связь между контекстно"/свободными языками и конечными автоматами с магазинной памятью. Каждая глава снабжена набором упражнений для лучшего понимания и усвоения материала. В учебнике имеется четыре приложения, которые содержат алгоритмы для контекстно"/свободных грамматик, задания к курсовой работе и варианты к ним, пример выполнения одного варианта курсовой работы. Мы благодарны Артемию Коненко за исходные коды последнего.
+Учебник состоит из введения, восьми глав, списка литературы и четырёх приложений. В главе~\ref{Chapter1} идет речь о способах задания и распознавания формальных языков; в главе~\ref{Chapter2} исследуются регулярные языки; в главах~\ref{Chapter3} и~\ref{Chapter4} изучаются разные типы конечных автоматов и доказывается совпадение классов конечно-автоматных, регулярных и праволинейных языков; в главе~\ref{Chapter5} изучается булева алгебра регулярных языков, свойства замкнутости операций над регулярными множествами и алгоритмические проблемы регулярных языков; в главах~\ref{cfg-intro} и~\ref{normal-cfg} исследуются контекстно-свободные грамматики и языки; в главе~\ref{Chapter8FSMSM} устанавливается связь между контекстно"/свободными языками и конечными автоматами с магазинной памятью. Каждая глава снабжена набором упражнений для лучшего понимания и усвоения материала. В учебнике имеется четыре приложения, которые содержат алгоритмы для контекстно"/свободных грамматик, задания к курсовой работе и варианты к ним, пример выполнения одного варианта курсовой работы. Мы благодарны Артёму Коненко за исходные коды последнего.
 
 У читателя предполагается знакомство с некоторыми темами стандартного курса дискретной математики, в остальном же изложение замкнуто. Полезным, однако, является хорошее освоение материала курсов математическая логики и теории алгоритмов.
 
 Нумерация всех утверждений имеет вид: $\alpha.\beta.\gamma$, где $\alpha$ --- номер главы, $\beta$ --- номер раздела главы, $\gamma$ --- номер утверждения в разделе. Формулировки теорем, лемм и утверждений заканчиваются символом $_\square$, а доказательства заканчиваются символом $\blacksquare$. Формулировки упражнений заканчиваются символом $\square$, а окончания примеров помечаются символом $\blacksquare$.
 
 В тексте не выделяются и не нумеруются определения, однако некоторые важные понятия, появляющиеся по ходу изложения, набраны \mydef{курсивом}.
 
-Мы благодарны С.~Борисову и И.~Сороконюку за помощь в наборе текста. О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты [email protected].
+Мы благодарны С.~Борисову и И.~Сороканюку за помощь в наборе текста. О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты [email protected].