Для студентов МГУ им. Ломоносова 10 семестрa по предмету Мат. методы вериф. программ и схем дз 4. nusmv. Толкучка роботовдз 4. nusmv. Толкучка роботов 2020-08-25 СтудИзба

дз 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. возможна ситуация, в которой роботы, стоя на соседних клетках, одновременно выстрелят друг в друга.

Комментарии

Сопутствующие материалы
Дата публикации 25 августа 2020 в 14:11
Рейтинг -
0
0
0
0
0
Автор Koala (- из 5)
Цена Бесплатно
Скачивания 0
Просмотры 16
Размер 5,25 Kb
Безопасность Файл был вручную проверен администрацией в том числе и на вирусы
Поделитесь ссылкой:
Свежие статьи
Популярно сейчас