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í 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. 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/rjjstWE6z, 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čí.
Last updated:
11.09.2023