Cvičenia UTI 2026
- utorok 13:10 - 2AIN3 - M-XII
- Cvičenie 02 - jazyky
- Cvičenie 03 - konečné automaty, dôkazy správnosti automatu
- Cvičenie 04 - simulácie
- Cvičenie 05 - dôkazy neregulárnosti pomocou L 3.12
- Cvičenie 06 - 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ý)