Theoretical informatics. A compact introduction (Q1405802)

[For a review of the first edition (1994) see Zbl 0821.68004.] Aus dem Vorwort: Nach einigen ``Tests'' des Buches im Lehrbetrieb und vielen Hinweisen und Anregungen durch Kollegen, Studenten und den Springer-Verlag, wurde das Buch durchgehend und an einigen Stellen wesentlich überarbeitet. Neben vielen Einzeländerungen, Umstrukturierungen, neuen Darstellungen usw. gibt es vor allem eine Neuerung, auf die hier besonders hingewiesen werden soll. Für die in diesem Buch als Modell und als Hilfsmittel zum Aufschreiben von Algorithmen verwendete Programmiersprache RIES gibt es einen Compiler nach Java, der unter http://info4.informatik.uni-wuerzburg.de/ries frei zur Verfügung steht. Studenten und Dozenten haben damit die Möglichkeit, zu Übungszwecken erstellte RIES-Programme zu testen.