• Kontakt
• Ogłoszenia
• Badania naukowe
• Prace dyplomowe 
• Dydaktyka
  • 2025/2026
  • 2024/2025
  • 2023/2024
  • 2022/2023
  • 2021/2022
  • 2020/2021
  • 2019/2020
  • 2018/2019
  • 2017/2018
  • 2016/2017
  • 2015/2016
    • - Java SE
    • - Programowanie 2
    • - Inżynieria oprogram. 2
    • - Programming 3
    • - Programowanie 1
    • - Teoria automatów i języków formalnych
    • - Authomata Theory and Formal Languages
    • - Programowanie 1- strukturalne

Kontakt > Dydaktyka > 2015/2016 > - Teoria automatów i języków formalnych

- Teoria automatów i języków formalnych

Wszystkie linki prowadzą do zadań na stronie dra inż. Marcin Lucknera.

Regulamin zaliczenia przedmiotu dostępny jest na stronie prof. nzw. dr hab. inż. Władysława Homendy.

Terminy ćwiczeń:

• C01 - 06.10.2015 - Relacja równoważności, klasy abstrakcji
• C02 - 13.10.2015 - Relacja indukowana przez język
• C03 - 20.10.2015 - Wyrażenia regularne
• C04 - 27.10.2015 - Języki regularne - Nie odbędą się, zostaną przeniesione na kolejny tydzień.
  
• grupa B2 - wtorek, 03.11.2015 godz. 18¹⁵ - 20⁰⁰
• grupa B3 - czwartek, 05.11.2015 godz. 18¹⁵ - 20⁰⁰
  
• C05 - 03.11.2015 - Gramatyki bezkontekstowe
• C06 - 10.11.2015 - Postać normalna
• C07 - 17.11.2015 - Języki bezkontekstowe
• C08 - 25.11.2015 - Kolokwium I - 8¹⁵ - 10⁰⁰ - sala 329
  
• C09 - 01.12.2015 - Maszyny Turinga
• C10 - 08.12.2015 - Wielotaśmowe maszyny Turinga
• C11 - 15.12.2015 - Niedeterministyczne maszyny Turinga, Automaty ze stosem
• C12 - 22.12.2015 - Gramatyki kontekstowe i nieograniczone
• C13 - 12.01.2016 - Deterministyczne automaty skończone
• C14 - 19.01.2016 - Niedeterministyczne automaty skończone
• C15 - 27.01.2016 - Kolokwium II - 8¹⁵ - 10⁰⁰ - sala 329 i 101
  

mgr inż. Anna Grzesik