Vítejte!
Počítačové programy jsou zapsány jako texty ve formálních programovacích jazycích. Počítače ale ve skutečnosti pracují jen s posloupností velmi jednoduchých instrukcí, ne s textem programu. Cílem předmětu Formální jazyky a překladače je seznámit se s algoritmy a postupy, které se využívají k převodu textu v programovacím jazyce na posloupnost instrukcí použitelnou počítačem a zároveň ukázat co vše je při tom potřeba vyřešit. Zároveň se tak dotkneme otázky statické kontroly programu před jeho spuštěním. Předmět tak propojuje znalosti získané z výuky vyšších programovacích jazyků se znalostmi o fungování procesorů. Znalosti z něj slouží k lepšímu pochopení vnitřní činnosti počítače, umožňují lépe optimalizovat programy a analyzovat jejich skutečné vykonávání.
Předmět je určen pro studenty 4. ročníku (1. ročník navazujícího magisterského studia) a navazuje na znalosti získané v předmětu Teoretická informatika.
Pro účely rychlé komunikace je zřízen Discord server - https://discord.gg/8qQa8S5FC4, prosím přihlašte se na něj.
Garantem předmětu je ing. Richard Lipka PhD, který předmět přednáší i cvičí.
Poslední změna:
21.09.2026
