přidána gramatika definice funkce