|
Foren |
Beiträge |
Themen |
Letzter Beitrag |
Moderatoren |
|
formale Sprachen
In diesem Forum werden Fragen zu formalen Sprachen abgehandelt. Dazu gehören Begriffe wie Grammatik, Worte, Alphabet und andere. |
|
598 |
166 |
|
|
|
Automatentheorie
Automaten sind abstrakte Programme mit denen Theoreme untersucht werden können. Wichtige Schlagworte: Zustand, Eingangsalphabet, Zustandsübergangstabelle, Endzustand, (nicht) deterministisch. |
|
395 |
84 |
|
|
|
Berechenbarkeits- und Komplexitätstheorie
Ist so wie es klingt ;)
Fragen der Art: "Kann man in endlicher Zeit....", "In welchem Maß steigt die Komplexität / der Rechenaufwand, wenn..." oder ähnliche theoretische Berechnungen gehören hier rein. |
|
319 |
97 |
|
|
|
Logik
Unter Logik sind alle die Problem zusammengefasst, die mit einem Satz von Zuständen und Regeln gelöst werden können. Fragen dazu hier rein. |
|
658 |
169 |
|
|