Języki Formalne i Techniki Translacji

Przedmiot Języki FOrmalne i Techniki Translacji (JFTT) dotyczy nauki o sposobach przedstawiania zbiorów ciągów (alfabetu słów) oraz nauki o kompilatorach.

• Materiały
• Notatki własne
• Wykład
• Ćwiczenia
• Laboratorium

Materiały

• Karol Gotfryd
  (Sekcje «Literatura i materiały do laboratorium» oraz «Pozostałe materiały do kursu»)
• Ważniak — Języki, automaty i obliczenia
• Ważniak — Podstawy kompilatorów
• mimuw.edu.pl
• Szymon Toruńczyk (YT)

Notatki własne

Notatki sporządzane na podstawie materiałów zewnętrznych.

• The Basics

Wykład

Prowadzony przez: dr Maciej Gębala

• 2020-10-08
  • Kompilatory — wprowadzenie
  • Języki formalne — wprowadzenie
• 2020-10-15
  • Równoważność DFA, NFA oraz RE
  • Minimalny DFA
• 2020-10-22
  • Własności języków regularnych (Lemat o pompowaniu)
  • Analiza leksykalna
• 2020-10-29
  • Gramatyki bezkontekstowe
• 2020-11-05
  • Automat ze stosem
• 2020-11-12
  • Własności języków bezkontekstowych (Lemat Ogdena)

Ćwiczenia

Prowadzone przez: dr inż. Anna Lauks-Dutka

• Lista 0
• Lista 1
• Lista 2
• Lista 3
• Lista 4
• Lista 6

Laboratorium

Prowadzone przez: mgr inż. Karol Gotfryd

• Lista 1
• Lista 2
• Lista 3