u) Formální jazyky, gramatiky a automaty,