两种图灵可判定语言的交集是Turing-decidable

Question

证明两种图灵可判定语言的交集是Turing-decidable。 （给定决定每种语言的算法，描述一种算法以确定字符串是否属于交集。）

我知道如果有算法来决定成员资格，那么语言就是图灵可判定的。但是，我不知道从哪里开始这个证明。

非常感谢任何帮助！

Answer 1

首先，您需要定义交叉点。它是所有字符串的集合，是两种语言的成员。

由于两种语言都具有可判定性，因此每种语言都存在这样的算法。您需要证明使用这些算法可以获得一个新的算法来决定交集中字符串的成员资格。

提示：一种算法，当且仅当字符串是两种语言时才回答“是”。