Oryginalny tytuł:
Languages, Machines, and Classical Computation
Zawartość książki:
Języki, maszyny i obliczenia klasyczne to nowy podręcznik dla studentów studiów licencjackich dotyczący połączonych tematów języków formalnych i automatów oraz obliczalności i złożoności. Przez nowy rozumiemy więcej niż jego niedawną publikację:
⬤ Jest (bardziej) przejrzyście zorganizowany wokół hierarchii Chomsky'ego, która działa jako jego kręgosłup.
⬤ Ma ogólne podejście algorytmiczne, z wieloma centralnymi algorytmami dokładnie i jasno opisanymi krok po kroku.
⬤ Żaden język programowania ani oprogramowanie nie odgrywa w niej żadnej roli, gwarantując tym samym (matematyczną) ogólność różnorodnych treści.
⬤ Jest to do pewnego stopnia powrót do oryginalnych podręczników z przełomu lat 70-tych i 80-tych, obecnie często niesłusznie postrzeganych jako zbyt trudne dla studentów.
Oraz.
⬤ Wreszcie, co nie mniej ważne, bierze pod uwagę fakt, w dużej mierze lub całkowicie ignorowany przez inne podręczniki na wyżej wymienione tematy, że mówienie o obliczeniach okazuje się dziś niezwykle niejednoznaczne, ponieważ wiele innych form obliczeń rozwinęło się poza tym, co możemy nazwać paradygmatem Turinga-von Neumanna.
Ogromny wybór ćwiczeń jest kluczowym elementem tego podręcznika, od prostych zadań po projekty badawcze i eksplorację umiejętności twórczych.
Wszystkie tematy matematyczne niezbędne do satysfakcjonującego zrozumienia omawianych treści są zawarte w rozdziale wprowadzającym, dzięki czemu jest to w dużej mierze samodzielny podręcznik.
Obecne drugie wydanie poprawia uzupełnienia i erraty, zawiera zarówno ulepszone, jak i nowe rysunki, dodatkowy algorytm i przeprojektowane ćwiczenia.
