Anatoly Abramovich Shalyto had offered a new paradigm of programming using an automate as a base abstraction. It was named as Automata Programming, Programming with Obvious State Dedication or a Switch-technology. This technology is based on projecting of systems and programs as a set of connected finite automata. Each automate is described by a connections scheme and a state transition graph. There is a formal and isomorphic way to generate a skeleton code for systems functionality implementation on the base of these two descriptions. This method doesn't depend on the platform, operating system or programming language. It can be implemented even on the microcontrollers with the available memory near 2Kb.

Traditional way of using automata in applied programming lies in tasks of language recognition, but in our method they are used for everything. Switch-technology programming is rather simple, useful. Programs which are written using suggested technology are easy to modify or enlarge, simply documenting and reporting. In this method automata has three aspects: they are used for specification, implementation and reporting. There are four fields for applying of Switch-technology: logical control, reactive systems, object-oriented tasks and calculating algorithms. We have complete examples of the following systems and solved tasks:

We also made several investigations in the field of cellular automata:

General advantage of our approach is in development of program documentation simultaneously with the implementation. So we declared a new trend in programming: Trend for Open Program Documentation, - as a logical evolution of Open Source (GNU project, GPL etc.) trend.

Anatoly Shalyto CV (PDF)

Anatoly Shalyto in Wikipedia (external link: en.wikipedia.org)

Foundation for Open Project Documentation (external link: en.wikipedia.org)

Automata-Based Programming (external link: en.wikipedia.org)

A.A. Shalyto - Information From Answers.com (external link: www.answers.com)

Publications in English by Anatoly Shalyto

Finite State Machine (external link: fsme.sourceforge.net)

Technology of Automata-Based Programming (external link: www.codeproject.com)

New Initiative in Programming - Foundation for Open Project Documentation (external link: www.thecodeproject.com)

SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems (external link: www.ingentaconnect.com)

UniMod User Reports (PDF)

Heikniemi Hardcoded: Loose thoughts on code documentation (external link: www.heikniemi.net)

The Collection of Computer Science Bibliographies: A.A. Shalyto (external link: liinwww.ira.uka.de)

Our achievements

Application for Contest of Research Projects in the Field of Automation of Designing of Integrated Circuits.
Intel Corporation and Moscow Physicotechnical Institute (Technical University)

Library of Congress

Massachusetts Institute of Technology Libries

University of California, Berkeley

Weizmann Institute of Science Libraries

Stanford University Libraries. Mathematical & Computer Sciences Library

Gottingen, Niedersachsische Staats- und Universitatsbibliothek

British Library

Students and professors were awarded (external link: www.soft-outsourcing.com)

Invitation to KIMAS05

2005 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - CIMSA 2005

Who‘sWho in Science and Engineering (PDF)

Marquis Who's Who in Science and Engineering® (external link: www.marquiswhoswho.com)

Bertrand Meyer's gratifying letters

American Biographical Institute, Inc. (PDF)

E-mail: shalyto@mail.ifmo.ru