Høyrelineær grammatikk A Λ A cA A caa S A S abS S baS dvs. en kontekstfri grammatikk der hver produksjon - har høyst en ikketerminal på høyresiden, og - er slik at en evt. ikketerminal på høyresiden står til slutt. Regulær grammatikk er for oss det samme som en Hver produksjon blir altså på et av formatene A Λ A w A B A wB der A,B er ikketerminaler og w er en ikketom streng av terminaler. N a v n e t k o m m e r a v a t s l i k e g r a m m a t i k k e r k a n b r u k e s t i l å d e f i n e r e n ø y a k t i g d e r e g u l æ r e s p r å k e n e.
Fra regulær grammatikk til NFA: En tilstand for hver ikketerminal, pluss en tilstand F. En transisjon for hver produksjon (unntatt A Λ) Produksjon A w B gir transisjon A B w A caa A cA S baS S abS S A A Λ S AF Startsymbol blir start-tilstand. F blir aksepterende tilstand, og A blir aksepterende hvis grammatikken inneholder produksjonen A Λ. Produksjon A w gir transisjon A F w
Dette kan gi oss en “jukse”-NFA med flere terminaler på noen av transisjonene, men dette kan lett fikses ved å innføre ekstra tilstander:
Hver aksepterende tilstand A gir dessuten produksjonen A Λ. Start-tilstand blir startsymbol. Fra NFA til regulær grammatikk: En ikketerminal for hver tilstand. En produksjon for hver transisjon. Transisjon A B gir produksjon A w B w A aF A cA S aS S bS S A F Λ A Λ S AF abab a