Search programme

​Use the search function to search amongst programmes at Chalmers. The programme overview and the programme syllabus relating to your studies are generally from the academic year you began your studies.

​​​

Syllabus for

Academic year
TMV025 - Finite automata theory and formal languages
 
Owner: TITEA
3,0 Credits (ECTS 4,5)
Grading: TH - Five, Four, Three, Not passed
Level: A
Department: 0702 - Matematik MV CTH/GU


Teaching language: Swedish

Course module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 No Sp
0102 Examination 3,0 c Grading: TH   3,0 c   20 Dec 2003 am V,  17 Apr 2004 pm V,  23 Aug 2004 am V

In programs

TDATA COMPUTER SCIENCE AND ENGINEERING - Computer Languages, Year 4 (elective)
TDATA COMPUTER SCIENCE AND ENGINEERING, Year 3 (elective)
TITEA INFORMATION ENGINEERING, Year 2 
TITEA INFORMATION ENGINEERING, Year 3 (elective)

Examiner:




  Go to Course Homepage

Eligibility:

For single subject courses within Chalmers programmes the same eligibility requirements apply, as to the programme(s) that the course is part of.

Course specific prerequisites

Discrete mathematics similar to what could be expected of an IT student.

Aim

Finite automata theory is a fundamental computing science theory, it's also one of the earliest and simplest models of a computer. Apart from real applications (such as traffic lights, vending machines and lexical
analysis) the theory possesses great mathematical elegance. Finite automata theory is an ideal illustration of concepts within fundamental set theory and discrete structures and makes a natural step stone to e.g.
automata theory over infinite words and Turing machines.

Content

The exact contents of the course will be posted on the web page of the course.

Literature

Will be posted on the web page of the course at the start of the course.

Examination

Written exam.


Page manager Published: Thu 03 Nov 2022.