Другие виды автоматов Разработка недетерминированных программных систем на осн