LexiDict.de - Logo
Druckversion | Impressum | Datenschutz

Automatentheorie

Aus LexiDict


Die Automatentheorie ist ein Teilgebiet der Theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.

Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau, sowie für den Entwurf von Programmiersprachen.

Die Automatentheorie befasst sich mit formalen Sprachen und formalen Grammatiken, die u.a. durch die Chomsky-Hierarchie typisiert werden, und mit Modellen für Automaten, die solche Sprachen verarbeiten können, insbesondere endliche Automaten, Kellerautomaten, Zellularautomaten und Turingmaschinen.




Weblink hinzufügen




Mit dem Speichern dieser Seite versichere ich, dass ich den Beitrag selbst verfasst habe bzw. dass er keine fremden Rechte verletzt, und willige ein, ihn unter der Lizenz Creative Commons Zero zu veröffentlichen.

Links auf diese Seite
Theoretische Informatik
Die '''theoretische Informatik''' beschäftigt sich mit [[Formale Sprache|formalen Sprachen]], [[Automatentheorie]], [[Berechenbarkeitstheorie|Berechenbarkeits-]], [[Komplexitätstheorie]], [[Logik]] (u. a. [[Aussagenlogik|Aussagen-]] und [[Prädikatenlogik]]) und [[formale Semantik|formaler Semantik]]. Die theoretische [[Informatik]] bietet Grundlagen für den Bau der [[Compiler]] von [[Programmiersprache]]n und die [[Mathematik|mathematische]] Formalisierung und Untersuchung von meist [[Diskretheit|diskreten]] Problemstellungen und deren Modellen. Sie ist das formale Rückgrat der Informatik.
Transitionssystem
Ein '''Transitionssystem''' (engl. ''transition system'') beschreibt in der [[Automatentheorie]] die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen.
Add to alltagzAdd to icioAdd to infopiratAdd to linkarenaAdd to misterwongAdd to netselektorAdd to newskickAdd to oneviewAdd to readsterAdd to webnewsAdd to yahooAdd to yigg

Dieser Artikel basiert auf dem Artikel Automatentheorie aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.

Von „http://www.lexidict.de/wiki/Automatentheorie“

Diese Seite wurde bisher 54-mal abgerufen. Diese Seite wurde zuletzt am 9. Januar 2010 um 20:29 Uhr geändert. Inhalt ist verfügbar unter der GNU Free Documentation License 1.2.




Finden

Navigation
Wissen kompakt
Statistik
Denk-Spiel
Fun