
Handbook of Mathematical Models for Languages and Computation
Die Rechentheorie wird zur Bewältigung von Herausforderungen eingesetzt, die sich in vielen Bereichen der Informatik ergeben, z.
B. in der künstlichen Intelligenz, bei Sprachprozessoren, bei der Erstellung von Compilern, bei Informations- und Kodierungssystemen, bei der Entwicklung von Programmiersprachen, in der Computerarchitektur und in anderen Bereichen.
Um die Themen dieser Theorie zu verstehen, müssen sich die Leser mit ihren Rechen- und Sprachmodellen vertraut machen, die auf Konzepten der diskreten Mathematik wie Mengen, Relationen, Funktionen, Graphen und Logik basieren. Dieses Handbuch führt mit Strenge in die wichtigsten Konzepte dieser Art ein und verwendet sie, um die wichtigsten mathematischen Modelle für Sprachen und Berechnungen zu behandeln, wie verschiedene klassische sowie moderne Automaten und Grammatiken. Es erklärt ihre Verwendung in so entscheidenden Themen der Rechentheorie wie Berechenbarkeit, Entscheidbarkeit und Komplexität.
Besonderes Augenmerk legen die Autoren auf die Umsetzung all dieser mathematischen Konzepte und Modelle und erklären anschaulich, wie man sie in der rechnerischen Praxis kodiert. Alle Computerprogramme sind in C# geschrieben.