Maszyny liczące (praktyczne i nie)

Zadania kwalifikacyjne są tutaj.

W trakcie warsztatów rozważymy sobie rodzinę coraz bardziej złożonych maszynek do liczenia, robiąc to, postaramy się (w granicach rozsądku) zapoznać się z zastosowaniami co po niektórych. Na szczęście dla tych którzy nie przepadają za stosowanymi gałęziami matematyki, dojdziemy również do modeli nieposiadających fizycznych realizacji. Luźna lista tematów poruszanych na warsztatach:

  • Ta sama klasa obiektów na różne sposoby: gramatyki i automaty.
  • Automaty skończone i wyrażenia regularne, zastosowania.
  • Automaty ze stosem, może napiszemy jakieś proste parsery w yaccu :)
  • Maszyny Turinga i ich ograniczenia.
  • Rozszerzenia Maszyn Turinga (wyrocznie, nieskończoności i inna magia)

Jeśli chodzi o materiały, to warto wziąć coś do pisania, bo będzie trochę pracy twórczej.

Warsztaty nie wymagają znajomości skomplikowanej matematyki, jeśli kiedykolwiek programowałeś/aś to jest to na plus bo łatwiej się wtedy myśli, ale powinniśmy sobie poradzić i bez tego.

 

W toku zadań kwalifikacyjnych trzeba będzie zapoznać się z podstawowymi definicjami obiektów takich jak języki, automaty skończone oraz z operacjami jakie można na nich wykonywać. Na dniach wrzucę jakieś źródła żeby nie trzeba było szukać.

 

Rozwiązania zadań kwalifikacyjnych proszę wysyłać na adres: jacek.kurek21@gmail.com, z tematem "Warsztaty WWW Zadania", na ten sam adres można też wysyłać pytania odnośnie bloku i w sumie każde inne też.

Wysłanie zadań w latexu upraszcza mi pracę, może być inna forma, ale prosze postawić na czytelność.