tikz externalize path

gsvgit · gsvgit · commit d57433184bb1 · 2026-06-07T23:14:22.000+03:00
diff --git a/book_structure.md b/book_structure.md
@@ -76,8 +76,6 @@
 
 ### Глава 5. Регулярные языки — `tex/part_02_Foundations/chapter_05_RegularLanguages/main.tex` — ✅
 
-> **Примечание:** глава закомментирована в `part_02_Foundations/main.tex`. Разделы 05–08 закомментированы и внутри главы.
-
 > Регулярные выражения, конечные автоматы (НКА, ДКА), производные для регулярных выражений, взаимные преобразования автоматов и выражений, линейные грамматики, лемма о накачке, замкнутость регулярных языков.
 
 - ✅ Раздел "Регулярные выражения" — `01_RegularExpressions.tex`
diff --git a/tex/frontmatter/List_of_contributors.tex b/tex/frontmatter/List_of_contributors.tex
@@ -1,4 +1,5 @@
 \addchap{Список авторов}
+	\tikzsetfigurename{Contributors_}
 
 \begin{description}[style=nextline]
       \item[Семён Григорьев]
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/01_BinaryOperations.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/01_BinaryOperations.tex
@@ -1,4 +1,5 @@
 \section{Бинарные операции и их свойства}
+	\tikzsetfigurename{LinearAlgebra_BinaryOp_}
 
 Введём понятие \emph{бинарной операции} и рассмотрим некоторые её свойства, такие как \emph{коммутативность} и \emph{ассоциативность}.
 
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/02_Semigroup.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/02_Semigroup.tex
@@ -1,4 +1,5 @@
 \section{Полугруппа}
+	\tikzsetfigurename{LinearAlgebra_Semigroup_}
 
 \begin{definition}[Полугруппа]
     Множество $S$ с заданной на нём ассоциативной бинарной операцией $\cdot: S \times S \to S$ называется \emph{полугруппой} и обозначается $(S, \cdot)$.
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/03_Monoid.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/03_Monoid.tex
@@ -1,4 +1,5 @@
 \section{Моноид}
+	\tikzsetfigurename{LinearAlgebra_Monoid_}
 
 \begin{definition}[Моноид]
     \emph{Моноидом} называется полугруппа с нейтральным элементом.
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/04_Group.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/04_Group.tex
@@ -1,4 +1,5 @@
 \section{Группа}
+	\tikzsetfigurename{LinearAlgebra_Group_}
 
 \begin{definition}[Группа]
     Непустое%
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/05_Semiring.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/05_Semiring.tex
@@ -1,4 +1,5 @@
 \section{Полукольцо}
+	\tikzsetfigurename{LinearAlgebra_Semiring_}
 
 \begin{definition}[Полукольцо]
     Непустое множество $R$ с двумя бинарными операциями $\oplus: R \times R \to R$ (часто называют сложением) и $\otimes: R \times R \to R$ (часто называют умножением) называется \emph{полукольцом}, если выполнены следующие условия.
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/06_Ring.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/06_Ring.tex
@@ -1,4 +1,5 @@
 \section{Кольцо}
+	\tikzsetfigurename{LinearAlgebra_Ring_}
 
 \begin{definition}[Кольцо]
     Непустое множество $R$ с двумя бинарными операциями $\oplus: R \times R \to R$ (сложение) и $\otimes: R \times R \to R$ (умножение) называется \emph{кольцом}, если выполнены следующие условия.
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/07_MatricesAndVectors.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/07_MatricesAndVectors.tex
@@ -1,4 +1,5 @@
 \section{Матрицы и вектора}
+	\tikzsetfigurename{LinearAlgebra_Matrices_}
 
 К определению матрицы мы подойдём структурно, так как в дальнейшем будем сопоставлять эту структуру с объектами различной природы, а значит определение матрицы через какой-либо из этих объектов (например через квадратичные формы) будет менее удобным.
 
diff --git a/tex/part_01_Prep/chapter_01_LinearAlgebra/08_AppliedAspects.tex b/tex/part_01_Prep/chapter_01_LinearAlgebra/08_AppliedAspects.tex
@@ -1,4 +1,5 @@
 \section{Прикладные особенности}
+	\tikzsetfigurename{LinearAlgebra_Applied_}
 
 \mytodo{Написать раздел}
 Планируемое содержание раздела: Взгляд программиста: типы данных, не совсем честные алгебраические структуры (<<просто лишь бы типизировалось>>), GraphBLAS, разреженность, параллельность. Операции типа маски, map2 и так далее.
diff --git a/tex/part_01_Prep/chapter_02_SetTheory/01_BasicDefinitions.tex b/tex/part_01_Prep/chapter_02_SetTheory/01_BasicDefinitions.tex
@@ -1,4 +1,5 @@
 \section{Основные определения}
+	\tikzsetfigurename{SetTheory_BasicDefs_}
 
 Будем говорить\sidenote{Стоит отметить, что формальное определение множества~--- не самая очевидная задача. Некоторые <<подводные камни>> обсуждаются, например, в уже упомянутой работе <<Начала теории множеств>> на страницах 29--31.}, что \emph{множество} $M$ состоит из \emph{элементов} $m$.
 Факт, что элемент $m$ принадлежит множеству $M$ записывается как $m \in M$.
diff --git a/tex/part_01_Prep/chapter_02_SetTheory/02_Relations.tex b/tex/part_01_Prep/chapter_02_SetTheory/02_Relations.tex
@@ -1,4 +1,5 @@
 \section{Отношения}
+	\tikzsetfigurename{SetTheory_Relations_}
 
 \begin{definition}[Отношение]
     Любое подмножество $R$ декартова произведения $k$ множеств, для $k > 1, k < \infty$, называется \emph{$k$-местным отношением}.
diff --git a/tex/part_01_Prep/chapter_03_GraphTheoryIntro/01_BasicDefinitions.tex b/tex/part_01_Prep/chapter_03_GraphTheoryIntro/01_BasicDefinitions.tex
@@ -1,4 +1,5 @@
 \section{Основные определения}
+	\tikzsetfigurename{GraphTheory_BasicDefs_}
 
 \begin{definition}[Помеченный ориентированный граф]
     \emph{Помеченный ориентированный граф} $\mbfscrG = \langle V, E, L \rangle$, где $V$~--- конечное множество вершин, $E$~--- конечное множество рёбер, т.ч. $E \subseteq V \times L \times V$, $L$~--- конечное множество меток на рёбрах.
diff --git a/tex/part_01_Prep/chapter_03_GraphTheoryIntro/02_PathProblems.tex b/tex/part_01_Prep/chapter_03_GraphTheoryIntro/02_PathProblems.tex
@@ -1,4 +1,5 @@
 \section{Задачи поиска путей}
+	\tikzsetfigurename{GraphTheory_PathProblems_}
 
 Одна из классических задач анализа графов~--- это задача поиска путей между вершинами с различными ограничениями.
 
diff --git a/tex/part_01_Prep/chapter_03_GraphTheoryIntro/03_PathAlgebra.tex b/tex/part_01_Prep/chapter_03_GraphTheoryIntro/03_PathAlgebra.tex
@@ -1,4 +1,5 @@
 \section{Анализ путей в графе и линейная алгебра}
+	\tikzsetfigurename{GraphTheory_PathAlgebra_}
 
 Часто поиск путей сопровождается изучением их свойств, что далее приводит к формулированию дополнительных ограничений на пути в терминах этих свойств.
 Например, можно потребовать, чтобы пути были простыми или не проходили через определённые вершины.
diff --git a/tex/part_01_Prep/chapter_03_GraphTheoryIntro/04_BFS.tex b/tex/part_01_Prep/chapter_03_GraphTheoryIntro/04_BFS.tex
@@ -1,4 +1,5 @@
 \section{Обход графа в ширину}
+	\tikzsetfigurename{GraphTheory_BFS_}
 
 Обход графа в ширину (Breadth-First Search, BFS)~--- это одна из фундаментальных задач анализа графов, для решения которой существуют хорошо известные алгоритмы, изложенные в классической литературе\sidenote{
     Например, в книге <<Алгоритмы. Построение и анализ>>~\cite{кормен2009алгоритмы} Томаса Кормена и других.
diff --git a/tex/part_01_Prep/main.tex b/tex/part_01_Prep/main.tex
@@ -1,4 +1,5 @@
 \addpart{Предподготовка}
+	\tikzsetfigurename{Part01_Prep_}
 
 \input{part_01_Prep/chapter_01_LinearAlgebra/main}
 \input{part_01_Prep/chapter_02_SetTheory/main}
diff --git a/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/01_SetOperations.tex b/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/01_SetOperations.tex
@@ -1,4 +1,5 @@
 \section{Теоретико-множественные операции над языками}
+	\tikzsetfigurename{FLT_SetOps_}
 
 Так как язык~--- это \emph{множество} слов, то над языками естественным образом определены теоретико-множественные операции, такие как объединение, пересечение, дополнение.
 \begin{itemize}
diff --git a/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/02_Derivatives.tex b/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/02_Derivatives.tex
@@ -1,4 +1,5 @@
 \section{Производные}
+	\tikzsetfigurename{FLT_Derivatives_}
 
 Производные для языков предложил Януш Бжозовский в работе~\sidecite{10.1145/321239.321249}.
 
diff --git a/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/03_Recognizers.tex b/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/03_Recognizers.tex
@@ -1,4 +1,5 @@
 \section{Распознаватели}
+	\tikzsetfigurename{FLT_Recognizers_}
 
 Распознаватель может быть сконструирован как некоторая формальная машина, которая принимает или отвергает те или иные слова, записанные на входной ленте.
 Таким образом, язык задаваемый некоторым вычислителем~--- это множество принимаемых им слов.
diff --git a/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/04_Generators.tex b/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/04_Generators.tex
@@ -1,4 +1,5 @@
 \section{Генераторы}
+	\tikzsetfigurename{FLT_Generators_}
 
 Один из базовых способов задать генератор языка опирается на \emph{системы переписывания строк}, из которых, в дальнейшем, можно получить так называемые \emph{порождающие грамматики}.
 
diff --git a/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/05_LanguageClasses.tex b/tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/05_LanguageClasses.tex
@@ -1,4 +1,5 @@
 \section{Классы языков}
+	\tikzsetfigurename{FLT_LangClasses_}
 
 \begin{marginfigure}
     \begin{center}
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/01_RegularExpressions.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/01_RegularExpressions.tex
@@ -1,4 +1,5 @@
 \section{Регулярные выражения}
+	\tikzsetfigurename{RegLang_Regex_}
 
 Регулярные выражения~--- один из часто применяющихся на практике классических способов задать регулярный язык%
 \sidenote{
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/02_FiniteAutomata.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/02_FiniteAutomata.tex
@@ -1,4 +1,5 @@
 \section{Конечные автоматы}
+	\tikzsetfigurename{RegLang_FA_}
 
 \emph{Конечный автомат} (Finite State Machine, FSM)~--- вычислительная машина, которая имеет конечный набор состояний и может совершать переходы между ними, основываясь на прочитанных входных данных.
 Важно отметить, что никакой дополнительной памяти классический конечный автомат не имеет и дополнительных действий (кроме чтения входной ленты) не производит%
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/03_DerivativesForRegex.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/03_DerivativesForRegex.tex
@@ -1,4 +1,5 @@
 \section{Производные для регулярных языков}
+\tikzsetfigurename{RegLang_Deriv_}
 
 Производные для регулярных языков предложены в Янушем Бжозовским в работе <<Derivatives of Regular Expressions>> ~\sidecite{Brzozowski1964}.
 Будучи достаточно удобным механизмом для решения ряда (в том числе прикладных) задач, производные активно исследовались и мы будем использовать работу~\sidecite{OWENS_REPPY_TURON_2009} как основу для нашего изложения.
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/04_RegexToFA.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/04_RegexToFA.tex
@@ -1,4 +1,5 @@
 \section{Построение конечного автомата по регулярному выражению}
+	\tikzsetfigurename{RegLang_RegexToFA_}
 
 Конечные автоматы и регулярные выражения~--- два способа задать один и тот же класс языков.
 Чтобы убедиться в их равной выразительной силе, начнём с построения конечного автомата по регулярному выражению.
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/05_FAToRegex.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/05_FAToRegex.tex
@@ -1,4 +1,5 @@
 \section{Построение регулярного выражения по конечному автомату}
+	\tikzsetfigurename{RegLang_FAToRegex_}
 
 Для построения регулярного выражения по конечному будем использовать вариацию классической конструкции, часто связываемой с теоремой Клини о эквивалентности языков, задаваемых регулярными выражениями и конечными автоматами, для доказательства которой нужно, в частности, построить регулярное выражение по конечному автомату.
 Регулярное выражение будем строить по недетерминированному автомату специального вида: потребуем, чтобы у него было ровно одно стартовое состояние и ровно одно финальное%
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/06_LinearGrammars.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/06_LinearGrammars.tex
@@ -1,4 +1,5 @@
 \section{Лево(право)линейные грамматики}
+	\tikzsetfigurename{RegLang_LinearGram_}
 
 Наложив некоторые ограничения на внешний вид правил грамматики можно получить грамматики, задающие регулярные языки.
 
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/07_PumpingLemma.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/07_PumpingLemma.tex
@@ -1,4 +1,5 @@
 \section{Лемма о накачке}
+	\tikzsetfigurename{RegLang_Pumping_}
 
 Лемма о накачке для регулярных языков позволяет проверить, что заданный язык не является регулярным.
 
diff --git a/tex/part_02_Foundations/chapter_05_RegularLanguages/08_ClosureProperties.tex b/tex/part_02_Foundations/chapter_05_RegularLanguages/08_ClosureProperties.tex
@@ -1,4 +1,5 @@
 \section{Замкнутость регулярных языков относительно теоретико-множественных операций}
+	\tikzsetfigurename{RegLang_Closure_}
 
 \begin{theorem}
     Класс регулярных языков над алфавитом $\Sigma$ замкнут относительно следующих теоретико-множественных операций:
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/01_BasicDefinitions.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/01_BasicDefinitions.tex
@@ -1,4 +1,5 @@
 \section{Основные определения}
+	\tikzsetfigurename{CFG_BasicDefs_}
 
 \begin{definition}[Контекстно-свободная грамматика]
     \emph{Контекстно-свободная грамматика}~--- это четвёрка вида $\langle \Sigma, N, P, S \rangle$, где
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/02_EBNF.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/02_EBNF.tex
@@ -1,4 +1,5 @@
 \section{Расширенная форма Бэкуса-Наура}
+	\tikzsetfigurename{CFG_EBNF_}
 \label{sec:EBNF}
 
 Контекстно-свободные грамматики позволяют компактно описывать многие языки, однако для выражения повторяющихся конструкций в них приходится прибегать исключительно к рекурсии.
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/03_RecursiveAutomata.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/03_RecursiveAutomata.tex
@@ -1,4 +1,5 @@
 \section{Рекурсивные автоматы и сети}
+	\tikzsetfigurename{CFG_RecAuto_}
 
 Рекурсивный автомат (Recursive state machine, RSM)~\sidecite{10.1145/1075382.1075387} или сеть~--- это представление контекстно-свободных грамматик, обобщающее конечные автоматы.
 В нашей работе мы будем придерживаться термина \emph{рекурсивный автомат}.
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/04_DerivationTrees.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/04_DerivationTrees.tex
@@ -1,4 +1,5 @@
 \section{Дерево вывода}
+	\tikzsetfigurename{CFG_DerivTrees_}
 \label{sec:DerivTree}
 
 В некоторых случаях не достаточно знать порядок применения правил.
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/05_SPPF.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/05_SPPF.tex
@@ -1,4 +1,5 @@
 \section{Сжатое представление леса разбора}
+	\tikzsetfigurename{CFG_SPPF_}
 \label{sec:SPPF}
 
 Как было показано в разделе~\ref{sec:DerivTree}, дерево вывода представляет ровно один вывод цепочки в грамматике.
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/06_CFLEmptiness.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/06_CFLEmptiness.tex
@@ -1,4 +1,5 @@
 \section{Пустота КС-языка}
+	\tikzsetfigurename{CFG_Emptiness_}
 
 \begin{theorem}
     Существует алгоритм, определяющий, является ли язык, порождаемый КС грамматикой, пустым.
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/07_CNF.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/07_CNF.tex
@@ -1,4 +1,5 @@
 \section{Нормальная форма Хомского}
+	\tikzsetfigurename{CFG_CNF_}
 \label{sec:CNF}
 
 \begin{definition}[Нормальная форма Хомского]
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/08_PumpingLemma.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/08_PumpingLemma.tex
@@ -1,4 +1,5 @@
 \section{Лемма о накачке}
+	\tikzsetfigurename{CFG_Pumping_}
 
 \begin{marginfigure}
     \centering
diff --git a/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/09_ClosureProperties.tex b/tex/part_02_Foundations/chapter_06_ContextFreeLanguages/09_ClosureProperties.tex
@@ -1,4 +1,5 @@
 \section{Замкнутость КС языков относительно операций}
+\tikzsetfigurename{CFG_Closure_}
 
 \begin{theorem}
     Контекстно-свободные языки замкнуты относительно следующих операций:
diff --git a/tex/part_02_Foundations/chapter_07_ClassicalParsing/01_CYK.tex b/tex/part_02_Foundations/chapter_07_ClassicalParsing/01_CYK.tex
@@ -1,4 +1,5 @@
 \section{Алгоритм CYK}
+	\tikzsetfigurename{ClassicalParsing_CYK_}
 \label{sec:lin_CYK}
 
 Алгоритм CYK (Cocke-Younger-Kasami)~--- один из классических алгоритмов синтаксического анализа.
diff --git a/tex/part_02_Foundations/chapter_07_ClassicalParsing/02_Valiant.tex b/tex/part_02_Foundations/chapter_07_ClassicalParsing/02_Valiant.tex
@@ -1,4 +1,5 @@
 \section{Алгоритм Валианта}
+	\tikzsetfigurename{ClassicalParsing_Valiant_}
 
 Алгоритм Валианта~\sidecite{Valiant:1975:GCR:1739932.1740048} сводит задачу синтаксического анализа линейного входа к задаче перемножения булевых матриц, что позволяет достичь субкубической сложности $O(n^\omega)$ для произвольных КС-грамматик, где $\omega$~--- экспонента матричного умножения.
 В отличие от CYK, алгоритм Валианта использует возведение матриц в квадрат (repeated squaring) вместо троекратного вложенного цикла.
diff --git a/tex/part_02_Foundations/chapter_08_MCFG/01_BasicDefinitions.tex b/tex/part_02_Foundations/chapter_08_MCFG/01_BasicDefinitions.tex
@@ -1,4 +1,5 @@
 \section{Основные определения}
+	\tikzsetfigurename{MCFG_BasicDefs_}
 
 \begin{definition}[Многокомпонентная контекстно-свободная грамматика]
     \emph{$m$-MCFG($r$)}~--- это четвёрка $\langle \Sigma, N, S, P \rangle$, где
diff --git a/tex/part_02_Foundations/chapter_08_MCFG/02_NormalForm.tex b/tex/part_02_Foundations/chapter_08_MCFG/02_NormalForm.tex
@@ -1,4 +1,5 @@
 \section{Нормальная форма}
+	\tikzsetfigurename{MCFG_NormalForm_}
 
 \mytodo{Нормальная форма: соответствует ли определение из nakanishi1997efficient описанной в тексте (условие чередования, отсутствие терминалов)?}
 \mytodo{7. Ссылка nakanishi1997efficient: проверить, действительно ли в этой работе (MOL5, proceedings) содержится доказательство теоремы о нормальной форме.}
diff --git a/tex/part_02_Foundations/chapter_08_MCFG/03_PumpingLemmas.tex b/tex/part_02_Foundations/chapter_08_MCFG/03_PumpingLemmas.tex
@@ -1,4 +1,5 @@
 \section{Лемма о накачке}
+\tikzsetfigurename{MCFG_Pumping_}
 
 \mytodo{Лемма о накачке: сверить точную формулировку разбиения с Seki1991.}
 
diff --git a/tex/part_02_Foundations/chapter_08_MCFG/04_Hierarchy.tex b/tex/part_02_Foundations/chapter_08_MCFG/04_Hierarchy.tex
@@ -1,4 +1,5 @@
 \section{Иерархия}
+	\tikzsetfigurename{MCFG_Hierarchy_}
 
 \mytodo{Свойство поглощения ранга: проверить формулу  (m*(k-1))-MCFL(r-k) subset m-MCFL(r) по Seki1991 -- при k=1 даёт 0-MCFL(r-1), что не определено.}
 
diff --git a/tex/part_02_Foundations/chapter_08_MCFG/05_ClosureProperties.tex b/tex/part_02_Foundations/chapter_08_MCFG/05_ClosureProperties.tex
@@ -1,4 +1,5 @@
 \section{Свойства замкнутости}
+	\tikzsetfigurename{MCFG_Closure_}
 
 \mytodo{Замкнутость относительно гомоморфизмов: сверить по Rambow1999, доказывается ли там замкнутость относительно всех трёх операций (гомоморфизм, обратный гомоморфизм, подстановка) или только части.}
 
diff --git a/tex/part_02_Foundations/chapter_09_ConjunctiveBoolean/01_ConjunctiveGrammars.tex b/tex/part_02_Foundations/chapter_09_ConjunctiveBoolean/01_ConjunctiveGrammars.tex
@@ -1,4 +1,5 @@
 \section{Конъюнктивные грамматики}
+	\tikzsetfigurename{CB_Conjunctive_}
 
 \begin{definition}
     \textit{Конъюнктивной грамматикой} называется $G = (\Sigma,N,P,S)$, где:
diff --git a/tex/part_02_Foundations/chapter_09_ConjunctiveBoolean/02_BooleanGrammars.tex b/tex/part_02_Foundations/chapter_09_ConjunctiveBoolean/02_BooleanGrammars.tex
@@ -1,4 +1,5 @@
 \section{Булевы грамматики}
+	\tikzsetfigurename{CB_Boolean_}
 
 Дадим определение булевой грамматики.
 
diff --git a/tex/part_02_Foundations/main.tex b/tex/part_02_Foundations/main.tex
@@ -1,4 +1,5 @@
 \addpart{Подготовка}
+	\tikzsetfigurename{Part02_Foundations_}
 
 \input{part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/main}
 \input{part_02_Foundations/chapter_05_RegularLanguages/main}
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/01_ProblemStatement.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/01_ProblemStatement.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/02_Decidability.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/02_Decidability.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/03_SolutionRepresentation.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/03_SolutionRepresentation.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/04_RegularConstraints.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/04_RegularConstraints.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/05_CFConstraints.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/05_CFConstraints.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_10_FLPQ/06_MCFGConstraints.tex b/tex/part_03_GraphAnalysis/chapter_10_FLPQ/06_MCFGConstraints.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_11_RPQ/01_TensorProduct.tex b/tex/part_03_GraphAnalysis/chapter_11_RPQ/01_TensorProduct.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_11_RPQ/03_Arroyuelo.tex b/tex/part_03_GraphAnalysis/chapter_11_RPQ/03_Arroyuelo.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_11_RPQ/04_Comparison.tex b/tex/part_03_GraphAnalysis/chapter_11_RPQ/04_Comparison.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/01_Hellings.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/01_Hellings.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/02_MatrixBased.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/02_MatrixBased.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/03_TensorProduct.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/03_TensorProduct.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/05_TensorMultiSource.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/05_TensorMultiSource.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/06_GLL_Based.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/06_GLL_Based.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_12_CFPQ/08_Combinators.tex b/tex/part_03_GraphAnalysis/chapter_12_CFPQ/08_Combinators.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_13_CFPQ_Comparison/01_ExperimentalStudy.tex b/tex/part_03_GraphAnalysis/chapter_13_CFPQ_Comparison/01_ExperimentalStudy.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_13_CFPQ_Comparison/02_AlgorithmComparison.tex b/tex/part_03_GraphAnalysis/chapter_13_CFPQ_Comparison/02_AlgorithmComparison.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_14_BeyondCFL/01_MCFGReachability.tex b/tex/part_03_GraphAnalysis/chapter_14_BeyondCFL/01_MCFGReachability.tex
diff --git a/tex/part_03_GraphAnalysis/chapter_14_BeyondCFL/02_ConjunctiveBooleanReachability.tex b/tex/part_03_GraphAnalysis/chapter_14_BeyondCFL/02_ConjunctiveBooleanReachability.tex
diff --git a/tex/part_03_GraphAnalysis/main.tex b/tex/part_03_GraphAnalysis/main.tex
diff --git a/tex/part_04_Conclusion/main.tex b/tex/part_04_Conclusion/main.tex

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\addchap{Список авторов}`
	`2`	`+ \tikzsetfigurename{Contributors_}`
`2`	`3`
`3`	`4`	`\begin{description}[style=nextline]`
`4`	`5`	`\item[Семён Григорьев]`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Бинарные операции и их свойства}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_BinaryOp_}`
`2`	`3`
`3`	`4`	`Введём понятие \emph{бинарной операции} и рассмотрим некоторые её свойства, такие как \emph{коммутативность} и \emph{ассоциативность}.`
`4`	`5`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Полугруппа}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Semigroup_}`
`2`	`3`
`3`	`4`	`\begin{definition}[Полугруппа]`
`4`	`5`	`Множество $S$ с заданной на нём ассоциативной бинарной операцией $\cdot: S \times S \to S$ называется \emph{полугруппой} и обозначается $(S, \cdot)$.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Моноид}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Monoid_}`
`2`	`3`
`3`	`4`	`\begin{definition}[Моноид]`
`4`	`5`	`\emph{Моноидом} называется полугруппа с нейтральным элементом.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Группа}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Group_}`
`2`	`3`
`3`	`4`	`\begin{definition}[Группа]`
`4`	`5`	`Непустое%`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Полукольцо}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Semiring_}`
`2`	`3`
`3`	`4`	`\begin{definition}[Полукольцо]`
`4`	`5`	`Непустое множество $R$ с двумя бинарными операциями $\oplus: R \times R \to R$ (часто называют сложением) и $\otimes: R \times R \to R$ (часто называют умножением) называется \emph{полукольцом}, если выполнены следующие условия.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Кольцо}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Ring_}`
`2`	`3`
`3`	`4`	`\begin{definition}[Кольцо]`
`4`	`5`	`Непустое множество $R$ с двумя бинарными операциями $\oplus: R \times R \to R$ (сложение) и $\otimes: R \times R \to R$ (умножение) называется \emph{кольцом}, если выполнены следующие условия.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`\section{Матрицы и вектора}`
	`2`	`+ \tikzsetfigurename{LinearAlgebra_Matrices_}`
`2`	`3`
`3`	`4`	`К определению матрицы мы подойдём структурно, так как в дальнейшем будем сопоставлять эту структуру с объектами различной природы, а значит определение матрицы через какой-либо из этих объектов (например через квадратичные формы) будет менее удобным.`
`4`	`5`