Automata and process theory



This course is a primer on the classical theory of computation. Fundamental computing devices with increasing capabilities are related to classes of formal languages of progressive complexity. The course also introduces the notion of strong bisimulation that is used to compare processes from an observational point of view.
Course period1/09/1231/08/18
Course levelDeepening
Course formatCourse