Complexity theory 复杂性,Autometa有人能解释一下吗?

Complexity theory 复杂性,Autometa有人能解释一下吗?,complexity-theory,Complexity Theory,让L1⊆ {0, 1}∗ 和L2⊆ {0, 1}∗ be-RE(递归枚举器)- (能够)母语为L1的语言∪ L2={0,1}∗ 和L1∩ L2 6=∅. 证明L1 在算法上可简化为L1∩ L2,也就是说,有一个算法, 每w∈ {0, 1}∗, 构造一个合适的v∈ {0, 1}∗ 以致∈ L1如果 只有当v∈ L1∩ L2.也许你想问这个问题,它可能更适合那里。我认为这不是复杂性理论,在我看来更像是形式语言

让L1⊆ {0, 1}∗ 和L2⊆ {0, 1}∗ be-RE(递归枚举器)- (能够)母语为L1的语言∪ L2={0,1}∗ 和L1∩ L2 6=∅. 证明L1 在算法上可简化为L1∩ L2,也就是说,有一个算法, 每w∈ {0, 1}∗, 构造一个合适的v∈ {0, 1}∗ 以致∈ L1如果
只有当v∈ L1∩ L2.

也许你想问这个问题,它可能更适合那里。我认为这不是复杂性理论,在我看来更像是形式语言