Post'sches Korrespondenzproblem

Hallo Forum!

Ich soll eine Grammatik für alle endlichen Folgen von Wortpaaren (x1,y1),...,(xn,yn) angeben. Leider habe ich dazu keine richtige Idee, weil ich mir ja irgendwie alles merken müsste. Onkel Google sagt auch nichts...

Könnt ihr mir einen Denkanstoß geben?

Gib mal ein Beispiel

Ich denke mal du willst nicht nur sowas: (x1,y1)(x5,y5)(x2,y2)...

Das wäre ja einfach nur:
S -> (x_i,y_i)S für alle i
S -> epsilon