Курсовая работа: дз 4. nusmv. Толкучка роботов
Описание
Характеристики курсовой работы
Список файлов
- дз 4. nusmv. Толкучка роботов
- hometask-gantel.smv 7,96 Kb
- hometask-quadro.smv 6,67 Kb
- Задача.txt 2,22 Kb
Толкучка роботов.
Два робота стоят в углах "гантелеобразного" поля и смотрят вниз, первый - из левого верхнего угла, второй - из правого верхнего угла:
v- -v
-----
-- --
Они одновременно начинают движение с одинаковой скоростью.
Роботы ездят вперёт только по направлению движения.
Вместо езды вперёд на одну клетку робот может сделать поворот направо или налево (на 90 градусов) за то же время.
Сразу после действия (езды вперёд на одну клетку или поворота) робот стреляет по направлению движения.
Если в робота попали, то он взрывается.
Если робот врезается в стенку (начинает двигаться за границу поля), то он взрывается.
Если робот начинает движение к клетке, на которой стоит другой робот, то он взрывается.
Взорванный робот больше не двигается и не стреляет.
Проверить, выполняются ли следующие свойства системы:
1. правый и левый роботы могут поменяться местами (первый - приехать в правый верхний угол и развернуться вниз, второй - одновременно с ним приехать в левый верхний угол и развернуться вниз);
2. как бы роботы ни двигались до текущего момента, если оба робота не взорваны, то у второго робота есть возможность доехать до левого верхнего угла;
3. возможна ситуация, в которой роботы, стоя на соседних клетках, одновременно выстрелят друг в друга.
Koala
