notes.tex

\documentclass[openany]{book}

\usepackage[utf8]{inputenc}
\usepackage[T2A]{fontenc}
\usepackage[english, bulgarian]{babel}
\usepackage{amssymb}
\usepackage{hyperref, fancyhdr, lastpage, fancyvrb, tcolorbox, titlesec}
\usepackage{array, tabularx, colortbl}
\usepackage{tikz}
\usepackage{venndiagram}
\usepackage{amsthm, bm}
\usepackage{relsize}
\usepackage{amsmath,physics}
\usepackage{mathtools}
\usepackage{subcaption}
\usepackage{theoremref}
\usepackage{circuitikz}
\usepackage[a4paper, left=0.50in, right=0.50in, top=1.0in, bottom=1.0in]{geometry}
\usepackage{minted}
\usepackage{stmaryrd}
\usepackage[Rejne]{fncychap}
\usepackage{forest}
\usepackage{cancel}
\usetikzlibrary{automata, arrows, positioning, shapes}
\useforestlibrary{linguistics}

\newcommand{\db}[1]{\llbracket #1 \rrbracket}
\newcommand{\regexlang}[1]{\mathcal{L}\db{#1}}
\newcommand{\tri}[1]{\stackrel{#1}{\vartriangleleft}}
\newcommand{\rt}[1]{\operatorname{root}(#1)}
\newcommand{\h}[1]{\operatorname{height}(#1)}
\newcommand{\chld}[1]{\operatorname{children}(#1)}
\newcommand{\lv}[1]{\operatorname{leaves}(#1)}
\newcommand{\w}[1]{\operatorname{word}(#1)}
\newcommand{\wraphspace}[2]{\hspace*{#2}#1\hspace*{#2}}

\ExplSyntaxOn
\NewDocumentCommand{\opair}{m}
 {
  \langle\mspace{2mu}
  \clist_set:Nn \l_tmpa_clist { #1 }
  \clist_use:Nn \l_tmpa_clist {,\mspace{3mu plus 1mu minus 1mu}\allowbreak}
  \mspace{2mu}\rangle
}
\ExplSyntaxOff

\hypersetup{
    colorlinks=true,
    linktoc=all,
    linkcolor=blue
}

\theoremstyle{definition}
\newtheorem{definition}{Дефиниция}[section]
\newtheorem*{warning}{\textcolor{red}{Внимание}}
\theoremstyle{plain}
\newtheorem{theorem}[definition]{Теорема}
\newtheorem{claim}[definition]{Твърдение}
\newtheorem{axiom}[definition]{Аксиома}
\newtheorem{lemma}[definition]{Лема}
\newtheorem{problem}[definition]{Задача}
\newtheorem{corollary}[definition]{Следствие}
\theoremstyle{remark}
\newtheorem*{remark}{Забележка}
\theoremstyle{definition}

\pagestyle{fancy}

\lhead{\leftmark}
\rhead{}

\setlength\parindent{0pt}

\begin{document}

\begin{titlepage}
  \centering
  {\huge\bfseries ЕЗИЦИ, АВТОМАТИ И ИЗЧИСЛИМОСТ\par}
  \vspace{1cm}
  {\Large \textsc{Записки за упражненията}\par}
  \vspace{4cm}
  {\Large\itshape Тодор Дуков\par}
  \vfill
  {\large \today\par}
\end{titlepage}

\tableofcontents

\include{introduction.tex}
\include{automata-and-regular-expressions/index.tex}
\include{grammars-and-pushdown-automata/index.tex}

\end{document}