Skip to main content

2011 | OriginalPaper | Buchkapitel

Automaten auf unendlichen Bäumen

verfasst von : Prof. Dr. Martin Hofmann, Prof. Dr. Martin Lange

Erschienen in: Automatentheorie und Logik

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Unter unendlichen Bäumen versteht man hier solche, die zwar endlichen Verzweigungsgrad haben, aber i.a. unendliche viele Knoten haben und somit auch unendlich lange Äste. Es ist klar, dass sich nur das Automatenmodell aus dem letzten Teil, welches top-down arbeitet, auf unendliche Bäume verallgemeinern lässt. Dies zeigt sofort, dass unendliche Bäume im Rahmen der Automatentheorie schwieriger zu handhaben sind als endliche Bäume. Es waren ja nur die bottom-up arbeitenden Automaten, die determinisiert und damit leicht benutzt werden können, um den Abschluss der regulären Baumsprachen unter Komplement zu zeigen. Für unendliche Bäume muss dies also—falls es denn möglich ist—äber die top-down arbeitenden Automaten gemacht werden.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadaten
Titel
Automaten auf unendlichen Bäumen
verfasst von
Prof. Dr. Martin Hofmann
Prof. Dr. Martin Lange
Copyright-Jahr
2011
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-18090-3_14