什么时候两种常规语言的连接才是明确的？
由于语言的和乙，让我们说，他们的级联一乙是明确的，如果所有的单词w ^ ∈ 一乙，恰好有一个分解w ^ = 一b有一个∈ 一和b ∈ 乙，和暧昧否则。（我不知道该属性是否存在一个确定的术语，这很难搜索！）作为一个简单的示例，{ ε ，a }与自身的串联是不明确的（w = aAAABBBABABABw∈ABw∈ABw \in ABw=abw=abw = aba∈Aa∈Aa \in Ab∈Bb∈Bb \in B{ε,a}{ε,a}\{\varepsilon, \mathrm{a}\}），但的级联 { 一个 }与本身是明确的。w=a=εa=aεw=a=εa=aεw = \mathrm{a} = \varepsilon \mathrm{a} = \mathrm{a} \varepsilon{a}{a}\{\mathrm{a}\} 是否有一种算法来确定两种常规语言的连接是否明确？