Построение системы автоматов по исходному коду программы
<p align="center"><b>
&copy; Е.В. Смирнов, Е.В. Селифонов, А.В. Тихомиров
</b></p>

<p align="center"><b><i>
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
</i></b></p>

<p align="right">
<?=icon("pdf")?><a href="/download/.pdf"><b>Проектная документация</b></a><br>
<?=icon("bin")?><a href="/download/_bin.zip"><b>Исполняемая программа</b></a><br>
<?=icon("txt")?><a href="/download/_src.zip"><b>Исходные тексты</b></a>
</p>

<h3>Аннотация</h3>
<p align="justify">
Идея построения автоматной программы из "традиционной", написанной с применением процедурного или объектно-ориентированного подхода, уже несколько раз выдвигалась, но до создания полноценного автоматического средства дело так и не дошло. Авторы решили восполнить этот пробел, для чего и была начата разработка данного проекта.
</p>

<p align="justify">
Предлагаемая программа осуществляет автоматическую конвертацию исходного кода на языке C (с некоторыми ограничениями) в систему автоматов. Далее эту систему можно использовать для различных целей, таких как пошаговое выполнение или обработка автоматическим верификатором.
</p>

<p align="justify">
В качестве примера использования автоматного кода был дополнительно разработан трассировщик, способный выполнять программу в пошаговом режиме с шагами как вперед, так и назад.
</p>