3

2つの言語の間の連結(通常のものとそうでないもの)が常に規則的でないか、出力が通常の言語であるかどうかを知りたいと思います。おかげさまで 通常以外の言語と通常の言語との連結は常に規則的ではありませんか?

+0

私はこの問題をプログラミング上の問題ではないので、議論の対象外としています。それは理論的なコンピュータサイエンスの問題です。 –

答えて

3

いいえ、私たちは、時にはそれが起こることを証明反例を見つけることができますので:

L1規則的ではない:通常の(^ 2)^ n個のnと> 1
L2:*

連結は言語L3 = aa *を生成し、これは明らかに規則的である。

+0

この証明は正しいですが、n> 1の(a^2)^ nは正規表現(aa)(aa)*を持つ通常の言語です。より良い例は、n> = 0の^(2^n)でした。 – Patrick87

関連する問題