论文信息 - Automata theory for multi-agent systems implementation

Automata theory for multi-agent systems implementation

We show that automata theory can be useful for engineering, developing and documenting multiagent systems. Algorithmization and programming principles for logic control are formulated, regarding algorithms and programs as finite automata.

Lev Naumov | Anatoly Shalyto

[1] Anatoly A. Shalyto,et al. SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems , 2004, Programming and Computer Software.

[2] Anatoly Shalyto,et al. Logic Control and “Reactive” Systems: Algorithmization and Programming , 2001 .

[3] Anatoly A. Shalyto,et al. Translating Iterative Algorithms into Automaton Ones , 2004, Programming and Computer Software.