JFLAPには、チューリング マシン遷移のショートカットがいくつかあります。これらのショートカットの 1 つを使用すると、現在のテープ シンボルが指定されたシンボルでない限り、移行できます。たとえば、トランジション !g,x;R は基本的に、「現在のテープ記号が g でない場合にこのトランジションを実行する」ことを示しています。
ここまでは順調ですね。しかし、私が望むトランジションは !□,~;R であり、これは基本的に「現在のシンボルが文字列の終わり (空のセル) シンボルでない限り右に移動する」というものです。問題は、「!□」の入力方法がわからないことです。
JFLAP オンライン ドキュメントには、次のように書かれています。
最初のショートカットは、「!」を使用するオプションが存在することです。「この文字以外の任意の文字」の意味を伝える文字。たとえば、トランジション (!a; x, R) に関して、ヘッドが「a」以外の文字に遭遇すると、その文字を「x」に置き換えて右に移動します。「!□」という表現は、コマンド入力時に「1」を入力するだけです。
最後の文が私に説明しようとしていることを実際にどのように行うのですか?