翻訳者レビュー ( 英語 → 日本語 )
評価: 59 / 0 Reviews / 2013/02/09 13:25:43
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の最終形のアウトプットストリングは一番左の空白でない記号から一番右の空白でない記号へのテープの内容であることを記憶しておくように。というのも、アウトプットストリングによってテープ上の不特定の配列を残し、テープヘッドの場所によって特定することができるからだ。