Für jeden RA r ist ein NEA M konstruierbar mit L(r)=L(M).
Induktionsanfang:
Induktionsschritt: Wenn r und s RA mit den Automaten M1 und M2 sind, dann