Beschreibung:
Ulrich Hedtstück: Studium der Mathematik an der Universität Stuttgart. Von 1980 bis 1985 Assistent am Institut für Informatik der Universität Stuttgart, Promotion 1985 mit einem Thema der Theoretischen Informatik. Zwischen 1985 und 1990 Research Staff Member bei IBM Deutschland GmbH in Heidelberg und Stuttgart, Mitarbeiter der Forschungsprojekte LEX (Legal Expert Systems) und LILOG (Linguistic and Logic Methods for Machine Understanding of German). Seit 1990 Professor an der Fachhochschule Konstanz, Fachbereich Informatik. Lehrgebiete: Algorithmen und Datenstrukturen, Theoretische Informatik, Simulation, Wissensbasierte Systeme. Forschungsschwerpunkte sind formale Modellbildung, Simulation und Virtual Reality. 1997 - 1999 Leiter eines vom Land Baden-Württemberg geförderten Projekts über Virtual Reality-Simulationen. 2001 - 2003 Mitglied der AG Netzhochschule der Fachhochschulen des Landes Baden-Württemberg. Von SS 05 bis WS 08/09 Studiendekan der Fakultät Informatik. 2004, 2005 und 2008 Gastvorlesungen zum Thema "Simulation of Discrete Systems" an der Pontifíca Universidade Católica do Paraná in Curitiba (PUCPR), Brasilien. Seit 2007 Leiter der UNIBRAL-Kooperation mit der PUCPR in Curitiba, Brasilien.
Studium der Mathematik an der Universität Stuttgart, Abschluß 1980 als Diplom-Mathematiker. 1980-1985 Assistent am Institut für Informatik der Universität Stuttgart, 1985 Promotion auf dem Gebiet der Theoretischen Informatik an der Universität Stuttgart. 1985-1990 Berufstätigkeit in der Firma IBM Deutschland GmbH in Heidelberg (Wissenschaftliches Zentrum) und Stuttgart, vorwiegend in Forschungsprojekten der Künstlichen Intelligenz. Seit 1990 Professor an der Fachhochschule Konstanz mit den Lehrgebieten Theoretische Informatik, Algorithmen und Datenstrukturen sowie Simulation. Forschungsschwerpunkte sind Künstliche Intelligenz, Simulation und Virtual Reality. Mitglied des CIM-Arbeitskreises der FH Konstanz mit dem Teilprojekt Simulation in CIM-Konzepten.
Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.
