COSTOC Lektionen: Berechnung und Automaten
(10 Lektionen, verfasst von A. Salomaa)
Diese Vorlesung vermittelt einen exzellenten Überblick über die wichtigsten
Themen aus dem Bereich Berechnung und Automaten. Verfasst von einem der
führenden Computer Experten Europas, vermittelt diese Vorlesung einen Überblick
über die Formalen Sprachen und die Automatentheorie für Einsteiger in dieses Gebiet,
um dann auf die wichtigsten Resultate dieses Fachgebietes und ihre Bedeutung zu erklären
(Lektion 1-4). Jeweils eine Lektion ist L-Systemen, Petri-Netze und grammar forms mit
einem tieferen Einblick (drei Lektionen) in rekursive Funktionen, Entscheidbarkeit und
Komplexitätsbetrachtungen. Diese Vorlesung mit ihrer Dokumentation ist nicht nur zum
Selbststudium geeignet, sondern auch um als Begleitmaterial einer herkömmlichen Vorlesung
über Automaten und formale Sprachen zu dienen.
Sprachentheoretische Werkzeuge um Wachstumsprozesse zu beschreiben, werden in
einer Lektion der Vorlesung Berechnung und Automaten, behandelt. |
;)