From 73b12bb57e26a0c16fd45cf891ec518dbad383db Mon Sep 17 00:00:00 2001 From: gsv Date: 2021年7月16日 13:17:03 +0300 Subject: [PATCH 1/2] =?UTF-8?q?=D0=9D=D0=B5=D0=BC=D0=BD=D0=BE=D0=B3=D0=BE?= =?UTF-8?q?=20=D0=BA=D0=BE=D0=BC=D0=BC=D0=B5=D0=BD=D1=82=D0=B0=D1=80=D0=B8?= =?UTF-8?q?=D0=B5=D0=B2=20=D0=BF=D0=BE=20=D1=84=D0=BE=D1=80=D0=BC=D0=B0?= =?UTF-8?q?=D0=BB=D1=8C=D0=BD=D1=8B=D0=BC=20=D1=8F=D0=B7=D1=8B=D0=BA=D0=B0?= =?UTF-8?q?=D0=BC.=20=D0=A7=D1=82=D0=BE=D0=B1=D1=8B=20=D0=BD=D0=B5=20?= =?UTF-8?q?=D0=B7=D0=B0=D0=B1=D1=8B=D1=82=D1=8C.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...ageConstrainedReachabilityLectureNotes.bib | 32 +++++++++++++++++++ tex/FormalLanguageTheoryIntro.tex | 15 +++++---- 2 files changed, 41 insertions(+), 6 deletions(-) diff --git a/tex/FormalLanguageConstrainedReachabilityLectureNotes.bib b/tex/FormalLanguageConstrainedReachabilityLectureNotes.bib index 9085336..5770a83 100644 --- a/tex/FormalLanguageConstrainedReachabilityLectureNotes.bib +++ b/tex/FormalLanguageConstrainedReachabilityLectureNotes.bib @@ -1427,3 +1427,35 @@ @article{ArlDinKro70 url = {http://mi.mathnet.ru/dan35675} } +@Misc{tata2007, + author = {H. Comon and M. Dauchet and R. Gilleron and C. L\"oding +and F. Jacquemard +and D. Lugiez and S. Tison and M. Tommasi}, + title = {Tree Automata Techniques and Applications}, + howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}}, + note = {release October, 12th 2007}, + year = 2007 +} + +@article{EHRIG1992557, +title = {Introduction to graph grammars with applications to semantic networks}, +journal = {Computers \& Mathematics with Applications}, +volume = {23}, +number = {6}, +pages = {557-572}, +year = {1992}, +issn = {0898-1221}, +doi = {https://doi.org/10.1016/0898-1221(92)90124-Z}, +url = {https://www.sciencedirect.com/science/article/pii/089812219290124Z}, +author = {Hartmut Ehrig and Annegret Habel and Hans-Jörg Kreowski}, +abstract = {In the first half of this paper, we give an introductory survey on graph grammars that provide rule-based mechanisms for generating, manipulating and analyzing graphs. In the second half, two potential applications of graph-grammar concepts to semantic networks are indicated.} +} + +@book{Courcelle2009, + doi = {10.1017/cbo9780511977619}, + url = {https://doi.org/10.1017/cbo9780511977619}, + year = {2009}, + publisher = {Cambridge University Press}, + author = {Bruno Courcelle and Joost Engelfriet}, + title = {Graph Structure and Monadic Second-Order Logic} +} \ No newline at end of file diff --git a/tex/FormalLanguageTheoryIntro.tex b/tex/FormalLanguageTheoryIntro.tex index b7aefbe..b5515db 100644 --- a/tex/FormalLanguageTheoryIntro.tex +++ b/tex/FormalLanguageTheoryIntro.tex @@ -1,4 +1,4 @@ -\chapter{Общие сведения теории формальных языков}\label{chpt:FormalLanguageTheoryIntro} +\chapter[Общие сведения теории формальных языков]{Общие сведения теории формальных языков\footnote{В рамках данной работы мы будем говорить о ``типичных'' языках, элементами которых являются объекты, максимально похожие на строки. При этом будет оставлен за бортом тот факт, что базовое определение позволяет нам рассматривать в качестве ``строительных элементов'' (алфавита) практически произвольные объекты, а значит, создавать весьма нетривиальные конструкции в качестве слов языка. Примерами ``нестроковых'' языков могут послужить языки деревьев~\cite{tata2007} или языки графов~\cite{EHRIG1992557, Courcelle2009}.}}\label{chpt:FormalLanguageTheoryIntro} В данной главе мы рассмотрим основные понятия из теории формальных языков, которые пригодятся нам в дальнейшем изложении. @@ -49,10 +49,9 @@ \chapter{Общие сведения теории формальных язык Любой язык над алфавитом $\Sigma$ является подмножеством $\Sigma^*$ --- множества всех слов над алфавитом $\Sigma$. -Заметим, что язык не обязан быть конечным множеством, в то время как алфавит всегда конечен и изучаем мы конечные слова. +Заметим, что язык не обязан быть конечным множеством, в то время как алфавит в нашей области всегда конечен\footnote{Существуют ситуации, когда возникают бесконечные алфавиты.} и изучаем мы конечные слова\footnote{Существуют ситуации, когда возникают бесконечные слова. Напрмиер работы по обработке потоков.}. -%\begin{definition} -\textit{Способы задания языков} +Можно выделить следующие основные \textit{способы задания языков.} \begin{itemize} \item Перечислить все элементы. Такой способ работает только для конечных языков. Перечислить бесконечное множество не получится. \item Задать генератор --- процедуру, которая возвращает очередное слово языка. @@ -60,8 +59,12 @@ \chapter{Общие сведения теории формальных язык \end{itemize} -%Теоретико-множественные задачи над языками и их применение. -%О том, что моногое --- про пересечение, проверку пустоты, вложенность. +Общие слова про порождающие грамматики. Через машины Маркова, перепичывания. Далее --- от того, какие ограничения на правила машины, зависит класс языков. + +Пару слов про то, что через переписывания не всегда удобно, не всегда работает. Булевы граммтики. + +Теоретико-множественные задачи над языками и их применение. +О том, что моногое --- про пересечение, проверку пустоты, вложенность. From 6bfaf79895ee3a2e74fc534fdf0befaa8551a55f Mon Sep 17 00:00:00 2001 From: gsv Date: 2021年7月23日 09:29:34 +0300 Subject: [PATCH 2/2] =?UTF-8?q?=D0=9F=D0=B0=D1=80=D0=B0=20=D0=BE=D0=BF?= =?UTF-8?q?=D0=B5=D1=87=D0=B0=D1=82=D0=BE=D0=BA=20=D0=B2=20=D1=84=D0=BE?= =?UTF-8?q?=D1=80=D0=BC=D0=B0=D0=BB=D1=8C=D0=BD=D1=8B=D1=85=20=D1=8F=D0=B7?= =?UTF-8?q?=D1=8B=D0=BA=D0=B0=D1=85.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- tex/FormalLanguageTheoryIntro.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tex/FormalLanguageTheoryIntro.tex b/tex/FormalLanguageTheoryIntro.tex index b5515db..abce1db 100644 --- a/tex/FormalLanguageTheoryIntro.tex +++ b/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} -Общие слова про порождающие грамматики. Через машины Маркова, перепичывания. Далее --- от того, какие ограничения на правила машины, зависит класс языков. +Общие слова про порождающие грамматики. Через машины Маркова, переписывания. Далее --- от того, какие ограничения на правила машины, зависит класс языков. -Пару слов про то, что через переписывания не всегда удобно, не всегда работает. Булевы граммтики. +Пару слов про то, что через переписывания не всегда удобно, не всегда работает. Булевы грамматики. Теоретико-множественные задачи над языками и их применение. -О том, что моногое --- про пересечение, проверку пустоты, вложенность. +О том, что многое --- про пересечение, проверку пустоты, вложенность.

AltStyle によって変換されたページ (->オリジナル) /