Project Details

Matematické základy teorie formálních jazyků

Project Period: 1. 1. 2012 - 31. 12. 2012

Project Type: grant

Code: FR271/2012/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program: Fond rozvoje vysokých škol (FRVŠ)

English title
Mathematical Foundations of Formal Language Theory
Type
grant
Keywords

formal language theory, theoretical computer science, mathematics

Abstract

The purpose of this project was to create study materials to guide students through the mathematical foundations of formal language theory. These materials demonstrate the usefulness of mathematical notation a rigorous methods. The project emphasises explanations based on several areas which computer science students know very well, such as programming languages.

Team members
Zemek Petr, Ing. (UIFS FIT VUT) , research leader
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , team leader
Vrábel Lukáš, Ing. (UIFS FIT VUT) , team leader
Files
Publications

2012

Back to top