This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more

Browse the Department site:

Browse the Teaching site:

Course Details for A.Y. 2011/2012

The information on this page refer to the academic year 2011/2012. Therefore, several links are not available and data may be incomplete. To read the current information on the course, if it is still available, go to the university course catalogue . To read information relating other academic years, use the list at the bottom of this page.

A. Year:

2011/2012

Name:

Fondamenti dell'informatica II / Foundations of Computer Science II

Type:

Course

Basic information

Code:

F0196

Sector:

INF/01

Credits:

: 6 CFU (b)

Term:

2° semestre

Degree(s):

Laurea Magistrale in Informatica curriculum GSEEM Opzionale
Laurea Magistrale in Informatica 2° anno curriculum Generale Obbligatorio

Language:

English

Teacher(s):

Sergio Orefice

Course Content

1. Formal language basic notions. Chomsky hierarchy
2. Finite automata. Nondeterministic finite automata. Finite automata with epsilon-moves
3. Regular expressions. The Kleene theorem. Pumping Lemma for regular sets. Properties of regular sets
4. Context-free grammars. Pushdown automata. Properties of context-free languages. Chomsky Normal Form. Pumping Lemma for context-free languages. The CYK algorithm
5. Nonlinear and visual formal languages. Syntactical models
6. Context-free positional grammars

Textbooks

Hopcroft, Motwani, Ullman, Automi, Linguaggi e calcolabilità , Addison-Wesley. Reference for points 1-4
Hopcroft, Motwani, Ullman, Introduction to Automata Theory, Languages and Computation , Addison-Wesley. Reference for points 1-4
Papers provided by the lecturer Reference for points 5-6

Internet Resources

Homepage:

http://www.di.univaq.it/orefice/fond.html

Course page updates

This course page is available (with possible updates) also for the following academic years:

To read the current information on this course, if it is still available, go to the university course catalogue .

Course information last updated on: 03 luglio 2012, 13:20

About Us

The DISIM represents an internationally recognized pole for teaching and research in Information Engineering, advanced Informatics, and pure and applied Mathematics.

Quick Links

Get in Touch with Us

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)