Tematika (címszavakban)
2026 Ősz
- Szept. 9.
-- Ábécé, szó, nyelv.
-- Véges automata.
-- Hiányos véges automata és teljessé tétele.
-- Nemdeterminisztikus véges automata fogalma, példa.
Szept.10.
-- Nemdeterminisztikus VA determinizálása.
-- epszilon-átmenetek és kiküszöbölésük.
-- Reguláris nyelv foglama.
-- Reguláris nyelvek zártak az unióra, metszetre, különbségre, komplementerre.
-- Nyelvek összefűzése (komkatenálás).
- Szept 16.
-- Reguláris nyelvek zártsága a konkatenálásra és a tranzitív lezárásra.
-- Szavak egy nyelvre vonatkozó ekvivalenciája, a reláció tulajdonságai.
-- Reguláris nyelv minimálautomatája.
-- Minimalizálás.
- Szept 23.
-- A minimalizálás táblázatosan
-- Reguláris kifejezések.
-- Reguláris kifejezések és reguláris nyelvek közötti kapcsolat.
Szept 24.
-- Pumpálási lemma, példák (ráadásként egy vers ).
-- Nyelvtanok.
-- Chomsky-hierarchia.
- Szept 30.
-- Reguláris nyelvtanok
--Reguláris nyelvtanok és epszilon-szabályok.
-- Reguláris nyelvtanok és reguláris nyelvek kapcsolata.
-- CF nyelvtanok és epszilon-szabályok.
- Okt. 7.
Következő előadáson várható:
-- CF nyelvtanok, átalakításuk.
-- CF nyelvek műveleti zártsága