26.12.2013 Views

Slides - Universiteit Utrecht

Slides - Universiteit Utrecht

Slides - Universiteit Utrecht

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!