© 2005 S. E. Velder, Y. D. Bedny
Saint-Petersburg State University of Information Technologies, Mechanics and Optics
Project documentation (in Russian)
For algorithmization and programming the emulator for IR remote control for domestic technics the authors used the SWITCH-technology that develops with reference to development of the software of event systems and devices (http://is.ifmo.ru).
In the present work the authors used the automatic style of programming. Such approach was named "programming with evident state extraction".
The technology is demonstrated using the example of creating electronic infra-red remote control realizing these functions:
The present work contains the documentation including technical description, connections diagram and transition graph of the automaton on which the source of the program is written formally and isomorphically.