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