Cvičenia UTI 2025
- utorok 14:50 - 2AIN3 - M-III
- Cvičenie 01 - abeceda, slová, prefix, sufix, podslovo, ...
- Cvičenie 03 - konečné automaty
- Cvičenie 04 - simulácie,
dôkazy správnosti automatu
- Cvičenie 05 - dôkazy neregulárnosti pomocou L 3.12
- Cvičenie 06 (príklady 1 a 3 z cv05 pmocou PL) - dôkazy neregulárnosti pomocou pumpovacej lémy
- Cvičenie 07 - NKA, strom výpočtu, prevod NKA na DKA
- Cvičenie 08 - Turingov stroj (obyčajný)
- Cvičenie 09, 10 - viacpáskový TS
- Cvičenie 10, 11 - nedeterministický TS
Ak sa Vám nebude dariť s DÚ 9, robte ju až po najbližších cvičeniach v utorok 6.5., na ktorých sa budeme nedeterministickým TS ešte viac venovať.
Hlavná stránka predmetu
JFLAP
Graph/Finite State Machine Designer