Es sei S {\displaystyle {}S} ein Symbolalphabet und L S {\displaystyle {}L^{S}} die zugehörige Sprache erster Stufe
