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

Question

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

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

任何帮助将不胜感激！

Answer 1

首先，您需要定义交集是什么。它是属于两种语言的所有字符串的集合。

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

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