Cvičenia UTI 2024
- utorok 13:10 - 2AIN2 - F-247
- Cvičenie 01 - abeceda, slová, prefix, sufix, podslovo, ...
- Cvičenie 02 - jazyky
- Cvičenie 03 - konečné automaty, dôkazy správnosti automatu
- Cvičenie 04 - simulácie, dôkazy neregulárnosti pomocou L 3.12
- Cvičenie 05 -
dôkazy neregulárnosti pomocou pumpovacej lémy
- Cvičenie 06 - NKA, strom výpočtu, prevod NKA na DKA
- Cvičenie 07 - normálový tvar NKA, spájanie automatov
- Cvičenie 08 - Turingov stroj
- Cvičenie 09 - viacpáskový TS, nedeterministický TS
- Cvičenie 10 - viacpáskový TS, nedeterministický TS
Hlavná stránka predmetu
JFLAP
Graph/Finite State Machine Designer