翻訳者レビュー ( 英語 → 日本語 )
評価: 59 / 0 Reviews / 2013/02/08 22:19:36
We would like to define the output of a QTM which halts as the superposition of the tape contents of the configurations in the machine’s final superposition. However, we must be careful to note the position of the tape head and the alignment relative to the start cell in each configuration since these details determine whether later paths interfere. Recall that the output string of a final configuration of a TM is its tape contents from the leftmost nonblank symbol to the rightmost nonblank symbol. This means that giving an output string leaves unspecified the alignment of this string on the tape and the location of the tape head to be identified.
この機械の最終重層のテープ内容の外形重層時に、QTMの出力が停止するという事を定義したいと思う。しかしながら、テープ・ヘッド部の位置や、それぞれの外形での始動セルに十分注意を払わねばならない、なぜならこれらの細部が後の進路に干渉するかどうかを決定づけるからだ。TMの最終外形の出力弦は、テープ内容の一番左の無空白から一番右の無空白である事を思い出して欲しい。これというのは、出力弦が不特定の直線状の弦をテープ上に残し、テープ・ヘッドを確認出来るようにしている。