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ů.

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.

Garantem předmětu je prof. Karel Ježek, který zároveň vede přednášky. Cvičení vede ing. Richard Lipka.