• Vstup:
RV r nad S
• Výstup:
KA M, pro který
platí: L(r) = L(M)
• Metoda:
• “Zevnitř” RV
r opakovaně
použij následující pravidla
ke konstrukci konečného automatu M:
• pro RV Æ vytvoř KA MÆ
• pro RV e vytvoř KA Me
• pro RV a Î S vytvoř KA Ma
• Nechť pro RV r a t již existují po řadě KA Mr a Mt
Potom:
• pro RV r.t vytvoř KA Mr.t (viz. 2/5)
• pro RV r + t vytvoř KA Mr + t (viz. 3/5)
• pro RV r* vytvoř KA Mr* (viz. 4/5)