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 1<br />
Type 1<br />
• Context-gevoelige talen<br />
αAβ → αγβ<br />
(γ ≠ ɛ)<br />
context-gevoelige<br />
talen (context sensitive)<br />
linear-bounded nondeterministic<br />
Turing<br />
machine<br />
• Precies de klasse talen die door een lineair gebonden automaat<br />
herkend kan worden (gaan we het niet over hebben)<br />
• Precies de klasse talen die door een context-gevoelige<br />
grammatica kan worden gegenereerd<br />
• Regels van de vorm:<br />
αAβ → αγβ<br />
(α, β, γ zijn hier willekeurige strings van terminale of niet-terminale<br />
symbolen; γ is niet ɛ)<br />
Anna Chernilovskaya (<strong>Universiteit</strong> <strong>Utrecht</strong>) Complexiteit Inleiding Taalkunde 21 / 47