Automaten: overzicht behandelde stof
Deze pagina gaat over de behandelde stof bij de hoorcolleges van de cursus
Automaten voor de studierichting Informatica (semester 1b, 2005-2006).
Er is een aparte pagina over het werkcollege.
- 6 december:
- Model checking door middel van automaten
- Muller automaten uit transitiesystemen
- Muller automaten uit LTL-formules
- 29 november:
Hoofdstuk 5
- omega-woorden en omega-talen
- Buechi automaten
- Muller automaten
- 22 november:
Hoofdstuk 4
- pompstelling
- afsluitingseigenschappen van de klasse van reguliere talen
- algoritmische aspecten van reguliere talen
- 15 november:
Hoofdstuk 3 (syllabus dd 24 nov)
- de stelling van Kleene
- van automaten naar reguliere expressies
- automaten met stille stappen
- van reguliere expressies naar automaten
- 8 november:
Hoofdstuk 2 (syllabus dd 17 nov)
- deterministische eindige automaten
- niet-deterministische eindige automaten
- equivalentie van DEA's en NEA's (subset constructie)
- 2 november:
Hoofdstuk 1 (syllabus dd 11 nov)
- formele talen
- reguliere expressies
- equivalentie van reguliere expressies
Terug naar de hoofdpagina
Yde Venema