|
|
|
|
|
In this course we introduce and study the basic abstract models of computation, namely finite state machines, push down machines, and formal grammars, and their relationships to formal languages. It is also discussed how the abstract computing devices are used to process languages, and hence to solve problems that are of practical relevance. The notion of a formal grammar arises from the need to formalize the informal notions of grammar and language. Many formal grammars were invented and they can be ordered in a natural hierarchy.
There are no special prerequisites in terms of specific courses to attend. Students are expected to be familiar with the basic notions of mathematics and with basic proof techniques, as taught in the mathematics courses of the first year.
Summer Semester 2015.
Please register for the course via the KUSSS system.
Maintained by Nikolaj Popov