biblio.tex

% \addchap{Литература}

\renewcaptionname{russian}{\bibname}{Список литературы}
\begin{thebibliography}{9}
\addcontentsline{toc}{chapter}{Список литературы}


\bibitem{ASU} \emph{Ахо~А., Лам~М., Сети~Р., Ульман~Дж.} Компиляторы: принципы, технологии и инструментарий, 2-е изд. М.: Вильямс, 2008.

\bibitem{AU} \emph{Ахо~А., Ульман~Дж.} Теория синтаксического анализа, перевода и компиляции. Т.~1. Синтаксический анализ. М.: Мир, 1978. 

\bibitem{Bau} \emph{Бауэр~Ф.\,Л., Гооз~Г.} Информатика. М.: Мир, 1990. 

\bibitem{BelTka} \emph{Белоусов~А.\,И., Ткачёв~С.\,Б.} Дискретная математика. М.: МГТУ, 2010.

\bibitem{Hro} \emph{Громкович~Ю.} Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию. СПб: БХВ-Петербург, 2010.

\bibitem{Sal} \emph{Саломаа~А.} Жемчужины теории формальных языков. М.: Мир, 1986. 

%\bibitem{Kot} \emph{В.\,Е.~Котов.} Сети Петри. М.: Наука, 1984. 

\bibitem{Hoa} \emph{Хоар~Ч.} Взаимодействующие последовательные процессы. М.: Мир, 1889.

\bibitem{Hop} \emph{Хопкрофт~Дж., Мотвани~Р., Ульман~Дж.}  Введение в теорию автоматов, языков и
вычислений. — 2-е изд. М.: Вильямс, 2008.

%\bibitem{Glu} \emph{В.\,М.~Глушков, Г.\,Е.~Цейтлин, Е.\,Л.~Ющенко.} Алгебра, языки, программирование. Киев: Наукова думка, 1989. 

\end{thebibliography}