Jens Glöckler

Die Berechnungsstärke von Forgetting-Automaten

Einführung und neue Ergebnisse

• Broschiertes Buch

Produktbeschreibung

Auf dem Gebiet der Automatentheorie (einem Teilgebiet der theoretischen Informatik) werden abstrakte Maschinen als theoretische Modelle für Computer und für Berechnungen im Allgemeinen betrachtet. Die Automatentheorie und die Theorie der formalen Sprachen haben viele Anwendungen - unter anderem in der Linguistik. Neben den grundlegenden Grammatiktypen des Linguisten Noam Chomsky wurden in den vergangenen Jahrzehnten weitere Modelle erforderlich, um Konzepte aus der Linguistik zu formalisieren und linguistische Fragestellungen zu lösen. Beim Modell des Forgetting-Automaten wird versucht, die syntaktische Korrektheit einer Eingabe durch schrittweise Verkürzung bzw. Vereinfachung zu überprüfen. In dieser Arbeit wird der Forgetting-Automat ausführlich beschrieben und formal definiert. Nach der Zusammenstellung der aus der Literatur bereits bekannten Ergebnisse werden in drei Kapiteln die Berechnungsmächtigkeit für den allgemeinen und für den unären Fall eines Eingabealphabets sowie die Abschlusseigenschaften der definierten Sprachfamilien eingehend untersucht.

Produktdetails

• Verlag: Südwestdeutscher Verlag für Hochschulschriften
• Seitenzahl: 132
• Erscheinungstermin: 25. Juli 2015
• Deutsch
• Abmessung: 220mm x 150mm x 9mm
• Gewicht: 192g
• ISBN-13: 9783838104768
• ISBN-10: 3838104765
• Artikelnr.: 26131034

Autorenporträt

Jens Glöckler, Dr. rer. nat.: Studium der Mathematik mitNebenfach Informatik an der Justus-Liebig-Universität Gießenund der Universität Rom La Sapienza,Promotion im Jahr 2008.