2

そのため、チューリング マシンが停止しない文字列が正確に何を意味するのかを理解するのに少し苦労しました。チューリング マシンは 2 つのスタックを持つ決定論的オートマトンに相当するとどこかで読みました。しかし、2つのスタックを持つ決定論的オートマトンは、有限の文字列が停止すると判断されたときに、停止しない文字列をどのように受け入れるのでしょうか...何か不足していますか??

4

1 に答える 1