Проверка SMA

Доказательство завершаемости

Формальное доказательство того, что МАС обязательно достигает терминального состояния за конечное время. Необходимо для критических систем, где должно быть гарантировано отсутствие бесконечных циклов.

← Назад