Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Hallo Gast [Anmelden|Registrieren]
(Moderiert von: as_string, Karlito) Forum zu Favoriten hinzufügen | Forum als gelesen markieren

  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
    NAO Roboter per Oculus Rift st...
23.11.2023 05:43 von value
 
   Automatentheorie
Automaten sind abstrakte Programme mit denen Theoreme untersucht werden können. Wichtige Schlagworte: Zustand, Eingangsalphabet, Zustandsübergangstabelle, Endzustand, (nicht) deterministisch.
395 84
    DEA der formale Sprache abbild...
02.02.2021 18:21 von Ossi333
 
   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
    Ist eine Menge entscheidbar? (...
09.10.2023 11:22 von zstern
 
   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
    Digitaltechnik
15.04.2022 18:03 von Digi
 
(Benutzer im Forum aktiv: 15 Besucher) Neues Thema erstellen
Thema Antworten Autor Hits Bewertung Letzter Beitrag
  Pumping Lemma frage 9 foogi 8.897  
15.01.2007 15:31
von foogi
 Zum letzten Beitrag gehen
  Pumping Lemma 2 3 foogi 5.534  
15.01.2007 19:36
von Tobias
 Zum letzten Beitrag gehen
  rekursive funktion als while-loop 6 asm_user 7.980  
20.01.2007 23:47
von Crotaphytus
 Zum letzten Beitrag gehen
  Regular expression gesucht für FSA 6 asm_user 7.741  
02.02.2007 23:27
von asm_user
 Zum letzten Beitrag gehen
  Fourier-Transformation - Was soll das? 6 Chaosworld 8.861  
03.02.2007 19:17
von Chaosworld
 Zum letzten Beitrag gehen
  Ableitungsbaum aus dem CYK Algo 2 foogi 6.749  
10.02.2007 17:44
von ed209
 Zum letzten Beitrag gehen
  Entscheidbarkeit von Zahlen.. 4 foogi 6.604  
10.02.2007 17:52
von ed209
 Zum letzten Beitrag gehen
  Verständnisfragen zu Aufgabe zur primitiven Rekursion 1 Asgard 4.683  
14.02.2007 21:51
von Tobias
 Zum letzten Beitrag gehen
  Sigma (grossgeschrieben) 4 Honeybye 7.994  
21.02.2007 21:09
von Crotaphytus
 Zum letzten Beitrag gehen
  left recursion elimination 0 asm_user 3.909  
26.02.2007 15:43
von asm_user
 Zum letzten Beitrag gehen
  DEA Automat kontrolle 3 Gisa 5.988  
22.03.2007 12:16
von Tobias
 Zum letzten Beitrag gehen
  NEA Automat 10 Gisa 12.472  
23.03.2007 16:34
von Gisa
 Zum letzten Beitrag gehen
  Reguläe Ausdrücke ankreuzen zu vorgegebener Sprache 8 Gisa 8.517  
24.03.2007 14:37
von Gisa
 Zum letzten Beitrag gehen
  DEA in generelized NEA 0 Gisa 3.793  
24.03.2007 15:33
von Gisa
 Zum letzten Beitrag gehen
  Kontextfreie Grammatik 2 Gisa 4.793  
26.03.2007 17:18
von Gisa
 Zum letzten Beitrag gehen
  2 Dateianhänge enthalten DFA bzw. DEA Automat 8 Pampelmuse 9.703  
14.04.2007 10:14
von Pampelmuse
 Zum letzten Beitrag gehen
  Frage zu floating_literal 1 Protonuser 4.372  
16.04.2007 11:46
von Tobias
 Zum letzten Beitrag gehen
  Traditioneller Kaufvertrag vs.E-commerce 6 LadyX 8.006  
16.04.2007 14:18
von LadyX
 Zum letzten Beitrag gehen
  kontextsensitive Sprachen 7 Pampelmuse 7.941  
16.04.2007 22:12
von Tobias
 Zum letzten Beitrag gehen
  Welche Sprache erzeugt diese Grammatik? 1 umix 4.059  
22.04.2007 20:43
von umix
 Zum letzten Beitrag gehen
Zeige Themen 21 bis 40 von 910, sortiert nach in Reihenfolge,
Seiten (46): « vorherige 1 [2] 3 4 nächste » ... letzte » Neues Thema erstellen
Forum durchsuchen:
Gehe zu:
 Neue Beiträge  Mehr als 25 Antworten oder 150 Hits )  Thema geschlossen
 Keine neuen Beiträge  Mehr als 25 Antworten oder 150 Hits )  Eigene Beiträge