В JFLAP есть несколько ярлыков для переходов машины Тьюринга. Один из этих ярлыков позволяет переходить, если текущий символ ленты не является обозначенным символом. Например, переход! G, x; R в основном говорит: «Возьми этот переход, если текущий символ ленты не g».
Пока все хорошо. Но переход, который я хочу, это! □, ~; R, который в основном говорит: «Двигайтесь вправо, пока текущий символ не является символом конца строки (пустой ячейки)». Проблема в том, что я не могу понять, как набрать "! □".
В онлайн-документации JFLAP есть следующее:
Первый способ заключается в том, что существует возможность использования
символ «!» для передачи значения «любой символ»
но этот характер. »Например, относительно перехода
(! a; x, R), если голова встречает любой символ, кроме «a»,
он заменит символ на «х» и переместится вправо.
Чтобы написать выражение «! □», просто введите «1» при вводе
команда.
Как мне на самом деле делать то, что пытается объяснить мне последнее предложение?