Программное средство для исследования автоматного управления роботами