Nové struktury a operace v matematické informatice

Abstract

Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace provádět nad konečnými a zásobníkovými automaty a nakonec také jak je možné tyto automaty a operace nad nimi implementovat.The aim of this thesis is to look at some known and some in this thesis created operati- ons and their properties mainly over the regular, but also over the context-free languages. Further we will focus on how to "carry out" these operations over finite and pushdown auto- mata and finally we will present how to possibly impement these automata and operations over them.