ЛАБОРАТОРНАЯ РАБОТА 2
Рассмотрим примеры, в которых демонстрируются типичные приемы составления НАМ.
Как и в случае машины Тьюринга, для сокращения формулировки задач будем использовать следующие соглашения:
Кроме того, в примерах будем справа от формул подстановки указывать их номера. Эти номера не входят в формулы, а нужны для ссылок на формулы при показе пошагового выполнения НАМ.
Достарыңызбен бөлісу: |
