<bibliography>
 <citation type="book" key="Dragon2007">
  <author>Alfred V. <surname>Aho</surname></author>
  <author>Monica S. <surname>Lam</surname></author>
  <author>Ravi <surname>Sethi</surname></author>
  <author>Jeffrey D. <surname>Ullman</surname></author>
  <year>2007</year>
  <title>Compilers (Principles, Techniques and Tools)</title>
  <publisher>Pearson, Addison Wesley</publisher>
 </citation>
 <citation type="inproceedings" key="AroundHopcroft2006">
  <author>Manuel <surname>Baclet</surname></author>
  <author>Claire <surname>Pagetti</surname></author>
  <year>2006</year>
  <title>Around Hopcroft's Algorithm</title>
  <editor>Oscar <surname>Ibarra</surname></editor>
  <editor>Hsu-Chun <surname>Yen</surname></editor>
  <booktitle>Implementation and Application of Automata</booktitle>
  <series>LNCS</series>
  <publisher>Springer Verlag</publisher>
  <pages>114&#8211;125</pages>
  <doi>10.1007/11812128_12</doi>
 </citation>
 <citation type="misc" key="Re2c_sys">
  <author>Markus <surname>Boerger</surname></author>
  <author>Peter <surname>Bumbulis</surname></author>
  <author>Dan <surname>Nuffer</surname></author>
  <author>Ulya <surname>Trofimovich</surname></author>
  <author>Brian <surname>Young</surname></author>
  <year>2003-2021</year>
  <title>re2c System</title>
  <howpublished>https://re2c.org/</howpublished>
 </citation>
 <citation type="inproceedings" key="mythsfacts1998">
  <author>Klaus <surname>Brouwer</surname></author>
  <author>Wolfgang <surname>Gellerich</surname></author>
  <author>Erhard <surname>Ploederer</surname></author>
  <year>1998</year>
  <title>Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis</title>
  <editor>K. <surname>Koskimies</surname></editor>
  <booktitle>Compiler Construction (CC 1998)</booktitle>
  <series>LNCS 1383</series>
  <publisher>Springer</publisher>
  <pages>1&#8211;15</pages>
  <doi>10.1007/BFb0026419</doi>
 </citation>
 <citation type="misc" key="Unicode">
  <author>The Unicode <surname>Consortium</surname></author>
  <title>Unicode</title>
  <howpublished>https://home.unicode.org/</howpublished>
 </citation>
 <citation type="misc" key="CTRE2019">
  <author>Hana <surname>Dus&#237;kov&#225;</surname></author>
  <year>2019-</year>
  <title>CTRE (Compile-Time Regular Expressions) Library</title>
  <howpublished>https://compile-time.re/</howpublished>
 </citation>
 <citation type="article" key="Hopcroft_min_1971">
  <author>John E. <surname>Hopcroft</surname></author>
  <year>1971</year>
  <title>An n.log(n) algorithm for minimizing the states in a finite automaton</title>
  <journal>The theory of machines and computations</journal>
  <volume>43</volume>
  <pages>189&#8211;196</pages>
  <doi>10.1016/B978-0-12-417750-5.50022-1</doi>
 </citation>
 <citation type="book" key="Autotheory2006">
  <author>John E. <surname>Hopcroft</surname></author>
  <author>Rajeev <surname>Motwani</surname></author>
  <author>Jeffrey D. <surname>Ullman</surname></author>
  <year>2006</year>
  <title>Introduction to Automata Theory, Languages, and Computation</title>
  <edition>3d</edition>
  <publisher>Pearson, Addison Wesley</publisher>
 </citation>
 <citation type="misc" key="Lex1975sys">
  <author>Michael E <surname>Lesk</surname></author>
  <author>Eric <surname>Schmidt</surname></author>
  <year>1975</year>
  <title>Lex: A lexical analyzer generator</title>
 </citation>
 <citation type="article" key="Efficient_depth2016">
  <author>Desheng <surname>Liu</surname></author>
  <author>Zhiping <surname>Huang</surname></author>
  <author>Yimeng <surname>Zhang</surname></author>
  <author>Xiaojun <surname>Guo</surname></author>
  <author>Shaojing <surname>Su</surname></author>
  <year>2016</year>
  <title>Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information</title>
  <journal>PLOS ONE</journal>
  <volume>11</volume>
  <number>11</number>
  <pages>59&#8211;78</pages>
  <doi>10.1371/journal.pone.0165864</doi>
 </citation>
 <citation type="article" key="deNivelle2021b">
  <author>Hans <surname>de Nivelle</surname></author>
  <year>2021</year>
  <title>A Recursive Inclusion Checker for Recursively Defined Subtypes</title>
  <journal>Modeling and Analysis of Information Systems</journal>
  <volume>28</volume>
  <number>4</number>
  <pages>414&#8211;433</pages>
  <doi>10.18255/1818-1015-2021-4-414-433</doi>
  <url>https://www.mais-journal.ru/jour/article/view/1568</url>
 </citation>
 <citation type="misc" key="CompilerTools">
  <author>Hans <surname>de Nivelle</surname></author>
  <author>Dina <surname>Muktubayeva</surname></author>
  <year>2021</year>
  <title>Tokenizer Generation</title>
  <howpublished>http://www.compiler-tools.eu/</howpublished>
 </citation>
 <citation type="article" key="OnHopCroft2009">
  <author>Andrei <surname>P&#x103;un</surname></author>
  <author>Mihaela <surname>P&#x103;un</surname></author>
  <author>Alfonso <surname>Rodr&#237;guez-P&#225;ton</surname></author>
  <year>2009</year>
  <title>On the Hopcroft’s minimization technique for DFA and DFCA</title>
  <journal>theoretical computer science</journal>
  <pages>2424&#8211;2430</pages>
  <doi>10.1016/j.tcs.2009.02.034</doi>
 </citation>
 <citation type="book" key="Sipser2013">
  <author>Michael <surname>Sipser</surname></author>
  <year>2013</year>
  <title>Introduction to the Theory of Computation (Third Edition)</title>
  <publisher>CENGAGE Learning</publisher>
 </citation>
</bibliography>
