Slides - Universiteit Utrecht
Slides - Universiteit Utrecht
Slides - Universiteit Utrecht
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Type 3<br />
Type 3 reguliere talen A → uB eindige automaten<br />
A → u (en reguliere expressies)<br />
• Reguliere talen: precies de klasse talen die herkend kan worden<br />
door eindige automaten (FSA)<br />
• Precies de klasse talen die je met reguliere expressies kan<br />
beschrijven<br />
• Precies de klasse talen die gegenereerd kan worden door<br />
reguliere grammatica’s<br />
• Regels van de vorm: A → uB en A → u (right-linear)<br />
Óf regels van de vorm: A → Bu en A → u (left-linear)<br />
• A, B ∈ V (niet-terminals), u ∈ Σ ∗ (een string)<br />
• (niet-terminale symbolen transformeren naar een string van terminale<br />
symbolen, eventueel gevolgd/voorafgegaan door een niet-terminaal<br />
symbool)<br />
• Dus niet: A → bAc, A → BC<br />
Anna Chernilovskaya (<strong>Universiteit</strong> <strong>Utrecht</strong>) Complexiteit Inleiding Taalkunde 12 / 47