Dies ist nicht unbedingt eine Forschungsfrage. Nur eine Frage aus Neugier:
Ich versuche zu verstehen, ob man "irreduzible" Sprachen definieren kann. Als erste Vermutung nenne ich eine Sprache L "reduzierbar", wenn sie als mit A ∩ B = ∅ und | geschrieben werden kann A | , | B | > 1 , sonst die Sprache "irreduzibel" nennen. Ist es wahr:
1) Wenn P irreduzibel ist, A, B, C Sprachen sind, so dass , P ∩ C = ∅ und A ⋅ B = C ⋅ P , dann existiert eine Sprache B ' ∩ P = ∅, so dass B = B ' ⋅ P ? Dies würde in ganzen Zahlen dem Lemma von Euklid entsprechen und wäre nützlich, um die Eindeutigkeit der "Faktorisierung" zu beweisen.
2) Stimmt es, dass jede Sprache in einer endlichen Anzahl von irreduziblen Sprachen berücksichtigt werden kann ?
Wenn jemand eine bessere Idee hat, wie man "irreduzible" Sprache definiert, würde ich es gerne hören. (Oder gibt es vielleicht schon eine Definition davon, von der ich nichts weiß?)