formální jazyky matematická lingvistika programování bezkontextové gramatiky formální gramatiky konečné automaty bezkontextové jazyky počítače překladače regulární jazyky teorie překladu zásobníkový automat automaty stromy teorie grafů algoritmizace formal languages informační systémy kompilační překladače mathematical linguistics textové procesory theory of translation vyučovací pomůcky zpracování textů