Czy podany język jest rekurencyjny?

[lunex]

G1, G2 i G3 są pewnymi wyrażeniami regularnymi. Czy język:
K6 = { (<G1>,<G2>,<G3>); L(G1) L(G2) = L(G3)}
jest rekurencyjny? Jeżeli odpowiedź jest pozytywna opisz algorytm.

Czy mógłby ktoś rozwiązać to zadanie?

[paladin]

Potrzebne są dwa kroki:

- konstrukcja wyrażenia regularnego G4, które będzie odpowiadało językowi L(G1)/L(G2),
- sprawdzenie, czy L(G3) = L(G4).

Oba kroki są już bardzo typowe, powinieneś je mieć w notatkach