From 09f9b5ba2dd7b37e1ebaf6e736920d873117563a Mon Sep 17 00:00:00 2001 From: Artem Pelenitsyn Date: Thu, 29 Nov 2018 11:54:14 -0500 Subject: [PATCH] +credits to students --- intro.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/intro.tex b/intro.tex index 066be02..9910df6 100644 --- a/intro.tex +++ b/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{курсивом}. -О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты a.pelenitsyn@gmail.com. +Мы благодарны С.~Борисову и И.~Сороконюку за помощь в наборе текста. О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты a.pelenitsyn@gmail.com.