Hallo,
die Einführung von S' ist zwingend der erste Schritt der Überführung in CNF, wenn es einen Lambda-Übergang von S gibt und S auf einer der rechten Seiten vorkommt.
Schau dir am besten nochmal die Definition einer Chomsky Normalform an. Zur Überführung in diese gibt es auch sehr gute Videos auf dem YouTube Kanal von "nLogSpace".
Beste Grüße,
Martin (Tutor)