26.12.2013 Views

Slides - Universiteit Utrecht

Slides - Universiteit Utrecht

Slides - Universiteit Utrecht

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!