Generation of automata system based on given source code
© E.V. Smirnov, E.V. Selifonov, A.V. Tikhomirov
Saint-Petersburg State University of Information Technologies, Mechanics and Optics
=icon("pdf")?>Project documentation (in Russian)
=icon("bin")?>Executable program
=icon("txt")?>Source code
The idea of building an automata program based based on "traditional" one, program created using conventional approaches such as procedural and object-oriented programming, is not new. However no automated system has been built yet. Authors decided to fill this blank and started development of such kind of system.
This project makes automatic conversion of a source code written in C language (with some restrictions) to a system of automata. Resulting system can then be used for different purposes such as executing program in steps, passing it to automatic verifers, building visual representations of algorithm.
As an example of automata code usage, backtracking tracer was created. It can trace output automata program combining steps which could be both forward and backward.