KIV / TI - Teoretická informatika
Doplňující informace k cvičení

Informace k předmětu

http://home.zcu.cz/~vais/

Cvičení

Cvičící: Petr Lobaz, lobaz (a) kiv zcu cz, 377 63 2447, úřední hodiny st 10.15-11.00, čt 10.15-11.00

Cvičení středa 11.10-12.50 v UU211

Výsledky testů ze 7. týdne semestru

Podklady k cvičením

  1. Vzorový konečný automat - řízení světelné křižovatky
  2. Vzorový konečný automat - zpracování čísla konečným automatem
  3. Konstrukce rozpoznávacích konečných automatů
  4. Gramatiky, derivační stromy
  5. Gramatiky a nedeterministické konečné automaty
  6. Nedeterministické konečné automaty s e-hranami, minimalizace KA a regulární výrazy
  7. Teorie informace
  8. Úvod do teorie kódování
  9. Hammingovy kódy
  10. Cyklické kódy
  11. Logické vyplývání