Пара опечаток в формальных языках.

Author: gsvgit

tex/FormalLanguageTheoryIntro.tex

@@ -25,7 +25,7 @@
 При записи выражений символ точки (обозначение операции конкатенации) часто будем опускать: $a \cdot b = ab$.
 
 \begin{definition}
-\textit{Слово} над алфавитом $\Sigma$ --- это конечная конкатенация символов алфавита $\Sigma$: $\omega = a_0 \cdot a_1 \cdot \ldots \cdot a_m$, где $\omega$ --- слово, а для любого $i$ $a_i \in \Sigma$.
+\textit{Слово} над алфавитом $\Sigma$ --- это конечная конкатенация символов алфавита $\Sigma$: $\omega = a_0 \cdot a_1 \cdot \ldots \cdot a_m$, где $\omega$ --- слово, а $a_i \in \Sigma$ для любого $i$.
 \end{definition}
 
 \begin{definition}
@@ -49,22 +49,22 @@
 
 Любой язык над алфавитом $\Sigma$ является подмножеством $\Sigma^*$ --- множества всех слов над алфавитом $\Sigma$.
 
-Заметим, что язык не обязан быть конечным множеством, в то время как алфавит в нашей области всегда конечен\footnote{Существуют ситуации, когда возникают бесконечные алфавиты.} и изучаем мы конечные слова\footnote{Существуют ситуации, когда возникают бесконечные слова. Напрмиер работы по обработке потоков.}.
+Заметим, что язык не обязан быть конечным множеством, в то время как алфавит в нашей области всегда конечен\footnote{Существуют ситуации, когда возникают бесконечные алфавиты.} и изучаем мы конечные слова\footnote{Существуют ситуации, когда возникают бесконечные слова. Например работы по обработке потоков.}.
 
 Можно выделить следующие основные \textit{способы задания языков.}
 \begin{itemize}
-\item Перечислить все элементы. Такой способ работает только для конечных языков. Перечислить бесконечное множество не получится.
+\item Перечислить все элементы. Такой способ работает только для конечных языков. Перечислить бесконечное множество за конечное время не получится.
 \item Задать генератор --- процедуру, которая возвращает очередное слово языка.
 \item Задать распознаватель --- процедуру, которая по данному слову может определить, принадлежит оно заданному языку или нет.
 \end{itemize}
 
 
-Общие слова про порождающие грамматики. Через машины Маркова, перепичывания. Далее --- от того, какие ограничения на правила машины, зависит класс языков.
+Общие слова про порождающие грамматики. Через машины Маркова, переписывания. Далее --- от того, какие ограничения на правила машины, зависит класс языков.
 
-Пару слов про то, что через переписывания не всегда удобно, не всегда работает. Булевы граммтики.
+Пару слов про то, что через переписывания не всегда удобно, не всегда работает. Булевы грамматики.
 
 Теоретико-множественные задачи над языками и их применение.
-О том, что моногое --- про пересечение, проверку пустоты, вложенность.
+О том, что многое --- про пересечение, проверку пустоты, вложенность.