Überprüfen, ob die Vereinigung von zwei Sprachen regelmäßig ist

Question

Wie man prüft, ob

$ l={c ^ ka ^ nb ^ n \ mid k> 0 \ wedge n \ geqslant0 \ \ \ cup \ {a, b \} ^ * $

ist regelmäßig, wo

$ l_1={c ^ kA ^ nb ^ n \ mid k> 0 \ wedge n \ geqslant0 \} $ ist eindeutig nicht regelmäßig und $ l_2={a, b \} ^ * $ ist ...

Answer 1

Wenn $ L $ regelmäßig waren, wäre die folgende Sprache: $$ L \ CAP CA ^ * B ^ *=\ {ca ^ nb ^ n \ mid n \ geq 0 \ \ ^. $$ Sie können zeigen, dass die letztere Sprache auf verschiedene Arten nicht regelmäßig ist.