Wersja pełna [11,39 MB] - Wydział Elektroniki, Telekomunikacji i ...

Nazwa przedmiotu Automaty i języki formalne
Skrót nazwy AJF
KARTA PRZEDMIOTU
Kierunek:
Elektronika i telekomunikacja Automatyka i robotyka Informatyka
X
Osoba odpowiedzialna za treść przedmiotu:
Imię: Mariusz
Nazwisko: Szwoch
e-mail: szwoch@eti.pg.gda.pl
Lp. Zagadnienie
Karta zajęć - wykład
poziom
wiedzy umiej.
A B C D E
1. Języki formalne, gramatyki, klasyfikacja Chomsky’ego X 1
2. Metajęzyki, notacja XBNF, automaty X 1
3. Translatory – rodzaje, modele, budowa X 1
4. Gramatyki regularne, wyrażenia regularne, automaty skończone X 1
5. Analiza leksykalna X 1
6. Generatory skanerów X 1
7. Gramatyki bezkontekstowe, automaty deterministyczne X 1
8. Analiza składniowa LR X 1
9. Analiza składniowa LL X 1
10. Generatory parserów X 1
11. Gramatyki kontekstowo zależne i swobodne, automaty z taśmami,
X 1
maszyny Turinga
12. Funkcje rekurencyjne, teza Churcha, obliczalność, rozstrzygalność X 1
13. Analiza semantyczna, generacja i optymalizacja kodu X 1
14. Translacja wyrażeń arytmetycznych, X 1
15. Zaliczenie 1
Razem 15
Karta zajęć - laboratorium
Lp. Zagadnienie
poziom
wiedzy umiej.
A B C D E
1. Lex - Generator analizatorów leksykalnych X 1
2. Wyrażenia regularne, zadania X 1
3. Budowa źródeł dla programu Lex, Akcje, generacja, zadania X 1
4. Stany, Rozwiązywanie niejednoznaczności , zadania X 1
5. Tworzenie prostych procesorów/analizatorów tekstu (LEX) X 1
6. Analiza leksykalna kodu źródłowego programu (LEX) X 1
7. Yacc – generator analizatorów składniowych X 1
8. Budowa źródeł dla programu Yacc, akcje semantyczne, X 1
9. Nadawanie tokenom wartości, Priorytety i reguły wiązań X 1
10. Stworzenie prostego kalkulatora (LEX+YACC) X 1
11. Stosowanie różnych typów danych, Stworzenie kalkulatora naukowego
X 1
(LEX+YACC)
12. Zasada działania parsera, Konflikty i sposoby ich rozstrzygania,
debugowanie
liczba
godzin
liczba
godzin
X 1
49