"3"^^ . . . . . . "endliches Übergangsdiagramm"@de . . .