Улучшено введение к КС языкам. Не закончено.

Author: gsvgit

tex/Context-Free_Languages.tex

@@ -3,7 +3,12 @@ \chapter{Контекстно-свободные языки и граммати
 \label{CFG}
 \tikzsetfigurename{CFG_}
 
-Контекстно-свободные языки, являясь строгим расширением регулярных, находят своё применение в различных задачах анализа программного кода, биоинформатики~\sidecite{!!!}, и других задачах анализа данных.
+В данном разделе мы обсудим контекстно-свободные языки~--- класс, расположенный на втором уровне иерархии Хомского и являющийся строгим расширением регулярных языков.
+Контекстно-свободные языки находят широкое применение в различных задачах анализа программного кода~\cite{!!!}, биоинформатики~\cite{!!!}, химии~\cite{!!!}, синтаксического анализа естественных и формальных языков.
+Будут рассмотрены основные способы задания таких языков: \emph{контекстно-свободные грамматики} и \emph{рекурсивные автоматы}.
+Обсудим \emph{деревья вывода}, \emph{нормальную форму Хомского} и алгоритм приведения к ней, \emph{лемму о накачке} для контекстно-свободных языков, а также свойства замкнутости относительно различных операций.
+
+Так же как и в предыдущем разделе, мы рассмотрим лишь базовые понятия, а для более глубокого погружения в область рекомендуем обратиться, например, в книге <<Introduction to Formal Language Theory>>~\cite{10.5555/578595}, Грюн!!!.
 
 \section{Основные определения}