Slides - Universiteit Utrecht
Slides - Universiteit Utrecht
Slides - Universiteit Utrecht
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
De Chomsky-hierarchie<br />
(sterk )<br />
Grammar Language Grammar Automaton<br />
Type 0 recursief opsombare<br />
α → β Turing machine<br />
talen (α ≠ ɛ), un-<br />
(recursively<br />
enumerable)<br />
restricted<br />
grammar<br />
Type 1 context-gevoelige αAβ → linear-bounded<br />
talen (context αγβ (γ ≠ ɛ) non-deterministic<br />
sensitive)<br />
Turing machine<br />
Type 2 context-vrije talen A → γ push-down automaat<br />
(context free)<br />
Type 3 reguliere talen A → u, eindige automaten<br />
(regular)<br />
A → uB<br />
(en reg-<br />
uliere expressies)<br />
(zwak )<br />
Anna Chernilovskaya (<strong>Universiteit</strong> <strong>Utrecht</strong>) Complexiteit Inleiding Taalkunde 11 / 47