מעבר מביטוי רגולרי ל – NFA (גזור ושמור) משפט: לכל ביטוי רגולרי r קיים אוטומט סופי A כך ש – L(A)=L(R). לכל אוטומט סופי A קיים ביטוי רגולרי r כך ש – L(A)=L(R). נתאר אלגוריתם ליצירת אוטומט מביטוי רגולרי. העיקרון: נבנה NFA עבר כל אחד מהסמלים הבסיסיים של הביטוי הרגולרי, ולאחר מכן נחבר את החלקים השונים עפ"י המבנה הסינטקטי של הביטוי. האלגוריתם: קלט: ביטוי רגולרי rמעל א"ב ∑. פלט: NFA (N) המקבל את L(r).
עבור ε בנה את ה - NFA הבא: עבור a בנה את ה - NFA הבא: ε a
יהיו N(t), N(s) NFA עבור הביטויים הרגולרים. N(t) N(s) עבור s|t בנה את N(s|t) ε ε ε ε
יהיו N(t), N(s) NFA עבור הביטויים הרגולרים. עבור st בנה את N(st) N(t) N(s)
עבור s* בנה את N(s*) N(s) εε ε