Enhancing the Automata Theory Course with Notions from Reactive Systems

Agafitei, Miriam-Bogdana (2022) Enhancing the Automata Theory Course with Notions from Reactive Systems. Bachelor's Thesis, Computing Science.

Preview	Text bCS_2022_AgafiteiMB.pdf Download (2MB) | Preview
	Text toestemming.pdf Restricted to Registered users only Download (131kB)

Abstract

During the second year of the BSc Computing Science at the University of Groningen, students take a course called “Languages and Machines”. During this course students learn the fundamentals of Automata Theory, which is an active research area in Computer Science. Unsurprisingly, there is a gap between the course’s content and recent developments in Automata Theory. There are extensions to classical Automata Theory that involve reactive systems which represent the reactive behavior of modern computing systems. This Bachelor project aims to help introduce “Languages and Machines” students to the recent reactive developments in Automata Theory by creating educational material.

Item Type:	Thesis (Bachelor's Thesis)
Supervisor name:	Perez Parra, J.A. and Ramanayake, D.R.S.
Degree programme:	Computing Science
Thesis type:	Bachelor's Thesis
Language:	English
Date Deposited:	29 Aug 2022 10:21
Last Modified:	29 Aug 2022 10:21
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/28555

Actions (login required)

View Item