Ein regulärer Ausdruck wird in einen nichtdeterministischen endlichen Automaten mit Epsilon-Übergängen umgewandelt, dann in einen nichtdeterministischen endlichen Automaten ohne Epsilon-Übergänge, dann in einen deterministischen endlichen Automaten und dann in einen minimalen deterministischen endlichen Automaten.