diff --git a/intro.tex b/intro.tex index 9910df6..9c7c6ef 100644 --- a/intro.tex +++ b/intro.tex @@ -20,7 +20,7 @@ Исчерпывающее изложение элементов теории формальных языков и конечных автоматов имеется в ставшей редкостью замечательной монографии А. Ахо и Дж. Ульмана~\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} устанавливается связь между контекстно"/свободными языками и конечными автоматами с магазинной памятью. Каждая глава снабжена набором упражнений для лучшего понимания и усвоения материала. В учебнике имеется четыре приложения, которые содержат алгоритмы для контекстно"/свободных грамматик, задания к курсовой работе и варианты к ним, пример выполнения одного варианта курсовой работы. Мы благодарны Артёму Коненко за исходные коды последнего. У читателя предполагается знакомство с некоторыми темами стандартного курса дискретной математики, в остальном же изложение замкнуто. Полезным, однако, является хорошее освоение материала курсов математическая логики и теории алгоритмов. @@ -28,4 +28,4 @@ В тексте не выделяются и не нумеруются определения, однако некоторые важные понятия, появляющиеся по ходу изложения, набраны \mydef{курсивом}. -Мы благодарны С.~Борисову и И.~Сороконюку за помощь в наборе текста. О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты a.pelenitsyn@gmail.com. +Мы благодарны С.~Борисову и И.~Сороканюку за помощь в наборе текста. О всех найденных в тексте ошибках и опечатках следует сообщать по адресу электронной почты a.pelenitsyn@gmail.com.