CS-C2160 - Theory of Computation, 12.01.2021-14.04.2021
This course space end date is set to 14.04.2021 Search Courses: CS-C2160
Lecture 1. Mathematical preliminaries, formal languages
Krav för slutförande
Mathematical preliminaries: sets; relations and functions; equivalence relations; proof by induction. Automata and formal languages: alphabets, strings and languages; automata and languages; common notation; induction on strings
Sets
Relations and functions; equivalence relations; proof by mathematical induction
Automata and formal languages; induction on strings