チューリングマシンの計算性に関するいくつかの質問

Question

私はテストを学んでいて、私は決定論的および非決定的なチューリングマシンの計算性についていくつかの重要な質問をしています。

部分関数を持っている $ f、g、h、t：\ mathbb {n} \ rightarrow \ mathbb {n} $ $ f $ は、計算可能なマシンのチューリングです。 $ H $ はsolvableと $ t $ が計算可能な間はありません。次の答えが正しいですか？そして私たちが決定論的tmを持っていたら変化することはありますか？

言葉をやる証明はありません:)

1. は $ f \ circ g $ チューリングマシンの計算可能？
2. は $ g \ circ f $ チューリングマシン計算可能？
3. は $ t \ circh $ ですが、計算可能ですか？
4. は $ h \ circ t $ ですが、計算可能ですか？

私の答え：

まず、TURIUNCE MACHING=計算性を発表しています。 （＃）

1. 私たちは、それが計算可能であるかどうかわからないか、TMが計算可能であるかどうかわからないと言うでしょう。

2. 私はノーと言うでしょう、 $ g $ がどんな場合でも、それはtm計算可能ではありません。

3. と4.（＃）のため、1と同じです。

それは正しいことができますか？それは多肢選択テストのためのものであり、それらの質問はトリッキーです。

Answer 1

答えは「すべての情報なしでは知らない」4。

span class="math-container"> $ f $ はID関数 $ f（x）= x $ です。その後、 $ f \ circ g= g \ circ f= g= g $ 。

一方、 $ g $ は total 非計算可能関数であるとします（これはSPANクラスの特別な場合です。="math-container"> $ G $ は partial 以外の関数であり、 $ f $ が定数ゼロ関数 $ f（x）= 0 $ 。この場合：

• $ f \ circ g $ は、明らかに計算可能な定数ゼロ関数です。
• $ g \ circ f $ も一定の関数です。必ずしも定数が何であるかは必ずしも知りませんが、それは関係ありません。すべての定数関数が計算可能です。 どうやって指定できるのか $ \ pi $ には、いくつかの数字がいくつかありますか？

決定論的TURICATINISTICING Machineは答えに影響を与えません。 / en.wikipedia.org/wiki/dovetailing_（computer_science） "rel=" nofollow noreferrer "> dovetailing