Finite Automata Theory and Formal Languages - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Finite Automata Theory and Formal Languages

Grundnivå | 7.5 hp | Kurskod: DIT321

Kursen ges inte som fristående kurs detta läsår men kan ingå i program/kurspaket. För information kontakta institutionen.

Om kursen

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'.

För mer information

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

Visa mer

Kursplan

DIT321

Studievägledning

E-post: svl@cse.gu.se

Kursen ges vid

Institutionen för data- och informationsteknik
41296 Göteborg

Besöksadress: Rännvägen 6 B

Sidansvarig: Pontus Sundén
Sidan uppdaterades: 2018-06-15 12:12

Tipsa en vän
Sidan i utskriftsvänlig version

Sidansvarig: Pontus Sundén|Sidan uppdaterades: 2019-01-10
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?