Finite Automata Theory and Formal Languages - University of Gothenburg Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Finite Automata Theory and Formal Languages

Bachelor's level | 7.5 credits | Course code: DIT321

The course does not start as a freestanding course this academic year but can start within a program or a course package. Please contact the department for further information.

About the Course

Finite automata and regular languages are one of the first and simplest models of computation, and their mathematical theory is quite elegant and simple. Finite automata are widely used to model certain physical systems (traffic light, vending machines, ...) or to describe some applications (lexical analysis, pattern search algorithm, ...). Finite automata constitute also a perfect illustration of basic concepts in set theory and discrete structure. Pushdown automata are finite automata with stacks. The theory is more complex, but has important applications in parsing and analysis of context-free languages which is also a fundamental concept in computer science. Turing machines were described by Alan Turing in 1937 and they are a powerful model of computation since they help computer scientists understand the limits of mechanical computation by providing a precise definition of an 'algorithm' or 'mechanical procedure'.

More Information

http://gul.gu.se/public/cour...

Show more

Course Syllabus

DIT321

Tuition Fee

Please contact the department.
EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

E-post: svl@cse.gu.se

Department

Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Pontus Sundén
Last update: 6/15/2018 12:12 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
http://utbildning.gu.se/education/courses-and-programmes/course_detail/?courseid=DIT321
Utskriftsdatum: 2019-11-13