Упражнения

4. 4.    Почему не могло возникнуть зацикливание модели исходного автомата на Рисунок 4.3, когда в его графе переходов не было "спонтанного цикла"?
Посмотреть ответ
4. 5.    Зацикливание при вычислении допускается можно предотвратить, например, таким способом: подсчитывать число переходов, сделанных к настоящему моменту. При этом модель должна будет искать пути только некоторой ограниченной длины. Модифицируйте так отношение допускается. Указание: добавьте третий аргумент - максимально допустимое число переходов:
        допускается( Состояние, Цепочка, Макс_переходов)
Посмотреть ответ