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 0<br />
Type 0<br />
recursief opsombare<br />
talen (recursively<br />
enumerable)<br />
α → β (α ≠ ɛ)<br />
Turing machine<br />
• Recursief opsombare talen<br />
• De klasse talen die door een Turing machine herkend kunnen<br />
worden<br />
• Turing machine:<br />
• De klasse talen die door een onbeperkte grammatica<br />
gegenereerd kunnen worden<br />
• Elke regel . . . → . . . is toegestaan<br />
zo lang de linker-kant niet gelijk is aan ɛ<br />
Anna Chernilovskaya (<strong>Universiteit</strong> <strong>Utrecht</strong>) Complexiteit Inleiding Taalkunde 24 / 47