Работаем над регулярными языками.

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -2007,3 +2007,38 @@ @article{chomsky1958finite
 }
 
 @article{OWENS_REPPY_TURON_2009, title={Regular-expression derivatives re-examined}, volume={19}, DOI={10.1017/S0956796808007090}, number={2}, journal={Journal of Functional Programming}, author={OWENS, SCOTT and REPPY, JOHN and TURON, AARON}, year={2009}, pages={173–190}} <div></div>
+
+@article{10.1145/363347.363387,
+author = {Thompson, Ken},
+title = {Programming Techniques: Regular expression search algorithm},
+year = {1968},
+issue_date = {June 1968},
+publisher = {Association for Computing Machinery},
+address = {New York, NY, USA},
+volume = {11},
+number = {6},
+issn = {0001-0782},
+url = {https://doi.org/10.1145/363347.363387},
+doi = {10.1145/363347.363387},
+abstract = {A method for locating specific character strings embedded in character text is described and an implementation of this method in the form of a compiler is discussed. The compiler accepts a regular expression as source language and produces an IBM 7094 program as object language. The object program then accepts the text to be searched as input and produces a signal every time an embedded string in the text matches the given regular expression. Examples, problems, and solutions are also presented.},
+journal = {Commun. ACM},
+month = {jun},
+pages = {419–422},
+numpages = {4},
+keywords = {match, regular expression, search}
+}
+
+@article{Glushkov1961,
+  title = {THE ABSTRACT THEORY OF AUTOMATA},
+  volume = {16},
+  ISSN = {1468-4829},
+  url = {http://dx.doi.org/10.1070/RM1961v016n05ABEH004112},
+  DOI = {10.1070/rm1961v016n05abeh004112},
+  number = {5},
+  journal = {Russian Mathematical Surveys},
+  publisher = {Steklov Mathematical Institute},
+  author = {Glushkov,  V M},
+  year = {1961},
+  month = oct,
+  pages = {1–53}
+}

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

@@ -17,6 +17,9 @@
 \usepackage[]{pseudo}
 \newtcbtheorem{algorithm}{Листинг}{pseudo/booktabs, float, floatplacement=h, separator sign={.}}{algo}
 
+\usepackage{caption}
+\usepackage{subcaption}
+
 \pghyphenation[]{russian}{%
 тео-ре-ти-ко-мно-жест-вен-ных
 }