![]() | ![]() |
Ansetzungsform: | Automat <Automatentheorie> |
---|---|
SWD: | 4831958-2 |
GND: | 4831958-2 |
PPN (SWB): | 490624251 |
Quelle: | Lex. Informatik |
Definition: | a1. Abstrakte Modelle von Maschinen. Sie dienen in der Theoretischen Informatik als Konstrukt, um gewisse Eigenschaften von Problemen und Algorithmen zu analysieren und zu beweisen (Wikipedia). 2. An automaton is a general term for any formal model of computation (PlanetMath). |
Benutzungshinweis: | Nur für Automaten in der Theoretischen Informatik/Mathematik verwenden. In allen anderen (bzw. nicht eindeutig zuordenbaren) Fällen verwende Automat oder engere bzw. verwandte Schlagwörte. |
SWD-Systematiknummer: | 28;30 |
Notation DDC: | 006.3;511.35 |
Alternativformen: | Machine theory Automates Teoria degli automi |
Verweisungsformen allg.: | Automaton <Mathematics> Automat / Mathematisches Modell |