Maszyny liczące (praktyczne i nie)

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ść.