
Languages, Machines, and Classical Computation
Languages, machines, and classical computation ist ein neues Lehrbuch für Studenten zu den Themen Formale Sprachen und Automaten sowie Berechenbarkeit und Komplexität. Mit neu meinen wir mehr als seine kürzliche Veröffentlichung:
⬤ Es ist (noch) klarer um die Chomsky-Hierarchie herum strukturiert, die das Rückgrat des Buches bildet.
⬤ Es hat einen allgemeinen algorithmischen Ansatz, wobei viele zentrale Algorithmen gründlich und klar Schritt für Schritt beschrieben werden.
⬤ Eine Programmiersprache oder Software spielt darin keine Rolle, so dass die (mathematische) Allgemeinheit der verschiedenen Inhalte gewährleistet ist.
⬤ Es ist in gewisser Weise eine Rückkehr zu den ursprünglichen Lehrbuchansätzen der späten 1970er / frühen 1980er Jahre, die heute oft - zu Unrecht - als zu schwer für ein Undergraduate-Publikum angesehen werden.
Und,.
⬤ Nicht zuletzt berücksichtigt es die von anderen Lehrbüchern zu den oben genannten Themen weitgehend oder ganz ignorierte Tatsache, dass es sich heute als äußerst zweideutig erweist, von Rechnen zu sprechen, da sich viele andere Formen des Rechnens außerhalb dessen entwickelt haben, was wir als Turing-von-Neumann-Paradigma bezeichnen können.
Ein wesentlicher Bestandteil dieses Lehrbuchs ist eine große Auswahl an Übungen, die von einfachen Aufgaben über Forschungsprojekte bis hin zur Erkundung kreativer Fähigkeiten reichen.
Alle mathematischen Themen, die für ein zufriedenstellendes Verständnis der behandelten Inhalte notwendig sind, werden in einem Einführungskapitel behandelt, so dass es sich um ein weitgehend in sich geschlossenes Lehrbuch handelt.
Die vorliegende zweite Auflage korrigiert Ergänzungen und Errata, enthält sowohl verbesserte als auch neue Abbildungen, einen zusätzlichen Algorithmus und neu gestaltete Übungen.