Skip to content

Commit c559ddd

Browse files
committed
Name TikZ externalized PDFs according to chapter
1 parent 4ddcece commit c559ddd

7 files changed

+6
-5
lines changed

tex/Context-Free_Languages.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\setchapterpreamble[u]{\margintoc}
22
\chapter{Контекстно-свободные языки и грамматики}
33
\label{CFG}
4+
\tikzsetfigurename{CFG_}
45

56
Из всего многообразия нас будут интересовать прежде всего контекстно-свободные грамматики.
67

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -40,11 +40,6 @@
4040
\setchapterstyle{kao}
4141

4242
\input{Introduction}
43-
44-
\pagelayout{wide} % No margins
45-
\addpart{Необходимые вводные}
46-
\pagelayout{margin} % Restore margins
47-
4843
\input{LinearAlgebra}
4944
\input{GraphTheoryIntro}
5045
\input{FormalLanguageTheoryIntro}

tex/FormalLanguageTheoryIntro.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\setchapterpreamble[u]{\margintoc}
22
\chapter{Общие сведения теории формальных языков}
33
\label{chpt:FormalLanguageTheoryIntro}
4+
\tikzsetfigurename{FormalLanguageTheoryIntro_}
45

56
В данной главе мы рассмотрим основные понятия из теории формальных языков, которые пригодятся нам в дальнейшем изложении.
67
Заметим, что мы рассмотрим лишь те результаты теории формальных языков,которые будут необходимы нам для дальнейшего изложения.

tex/GraphTheoryIntro.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\setchapterpreamble[u]{\margintoc}
22
\chapter{Некоторые сведения из теории графов}
33
\label{chpt:GraphTheoryIntro}
4+
\tikzsetfigurename{GraphTheoryIntro_}
45

56
В данном разделе мы дадим определения базовым понятиям из теории графов, рассмотрим несколько классических задач из области анализа графов и алгоритмы их решения.
67
Кроме этого, поговорим о связи между линейной алгеброй и некоторыми задачами анализа графов.

tex/Introduction.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
\addchap{Введение}
2+
\tikzsetfigurename{Introduction_}
23

34
Теория формальных языков находит применение не только в ставших уже классическими задачах синтаксического анализа кода (языков программирования, искусственных языков) и естественных языков, но и в других областях, таких как статический анализ кода, графовые базы данных, биоинформатика, машинное обучение.
45

tex/LinearAlgebra.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\setchapterpreamble[u]{\margintoc}
22
\chapter{Некоторые понятия линейной алгебры}
33
\label{chpt:LinAlIntro}
4+
\tikzsetfigurename{LinearAlgebra_}
45

56
При изложении ряда алгоритмов будут активно использоваться некоторые понятия и инструменты линейной алгебры, такие как моноид, полукольцо или матрица.
67
В данном разделе необходимые понятия будут определены и приведены некоторые примеры соответствующих конструкций.

tex/RegularLanguages.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
\setchapterpreamble[u]{\margintoc}
22
\chapter{Регулярные языки}
3+
\tikzsetfigurename{RegularLanguages_}
34

45
В данном разделе мы обсудим регулярные языки~--- класс, лежащий на самом нижнем уровне иерархии Хомского.
56
Будут рассмотрены основные способы задания таких языков: \emph{регулярные выражения}, \emph{конечные автоматы}, \emph{лево(право)линейные грамматики}.

0 commit comments

Comments
 (0)