Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung

dc.contributor.author	Thomas, Wolfgang
dc.contributor.editor	Fothe, Michael
dc.contributor.editor	Wilke, Thomas
dc.date.accessioned	2020-07-16T21:24:48Z
dc.date.available	2020-07-16T21:24:48Z
dc.date.issued	2015
dc.description.abstract	Vor 50 Jahren bewies J. R. Büchi, dass die Menge der erreichbaren Kellerinhalte eines Kellerautomaten eine reguläre Sprache bildet. Nur 5 Jahre später eröffnete M. O. Rabin mit seiner Theorie endlicher Automaten auf unendlichen Bäumen eine weiter greifende Perspektive, die in neuester Zeit zu überraschend starken algorithmischen Ergebnissen geführt hat, unter anderem für Systeme mit geschachtelten Kellern. Wir geben eine informelle Darstellung dieser Entwicklung und skizzieren aktuelle Forschungsfragen.	de
dc.identifier.isbn	978-3-88579-426-4
dc.identifier.pissn	1614-3213
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33416
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik, Bonn
dc.relation.ispartof	Keller, Stack und automatisches Gedächtnis – eine Struktur mit Potenzial
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Thematics, Volume T-7
dc.title	Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung	de
gi.citation.endPage	64
gi.citation.startPage	55
gi.conference.date	14. November 2014
gi.conference.location	Jena

Dateien

1 - 1 von 1