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: 26 Besucher) Neues Thema erstellen
Thema Antworten Autor Hits Bewertung Letzter Beitrag
  1 Dateianhänge enthalten Nfa 14 Pampelmuse 12.637  
23.04.2007 12:39
von Pampelmuse
 Zum letzten Beitrag gehen
  Reguläre Sprachen Beweis 11 Pampelmuse 11.631  
29.04.2007 20:35
von Pampelmuse
 Zum letzten Beitrag gehen
  kontextsensitive Grammatik - Produktion OT -> TO 0 kiste 3.861  
06.05.2007 20:44
von kiste
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Akzeptierte Sprache gesucht 1 Pampelmuse 4.442  
07.05.2007 08:35
von Pampelmuse
 Zum letzten Beitrag gehen
  Minimalautomaten 1 Pampelmuse 4.972  
13.05.2007 10:45
von Pampelmuse
 Zum letzten Beitrag gehen
  Matroidstruktur bei Münzen 4 FFlex 6.171  
15.05.2007 10:27
von FFlex
 Zum letzten Beitrag gehen
  stabile Menge, polynomieller Algorithmus 5 drespan 7.530  
19.05.2007 10:22
von drespan
 Zum letzten Beitrag gehen
  CNF ChomskynormalForm 1 Pampelmuse 4.821  
21.05.2007 19:02
von Pampelmuse
 Zum letzten Beitrag gehen
  C Programmierung 2 Celtic_Princess 4.958  
29.05.2007 11:38
von Celtic_Princess
 Zum letzten Beitrag gehen
  while Schleife 1 Celtic_Princess 4.669  
29.05.2007 15:35
von Crotaphytus
 Zum letzten Beitrag gehen
  Strings 1 Celtic_Princess 4.767  
01.06.2007 17:51
von David_pb
 Zum letzten Beitrag gehen
  LOOP-Programm 2 cirruswolke 5.493  
03.06.2007 11:07
von cirruswolke
 Zum letzten Beitrag gehen
  Typ 1 Grammatik angeben 4 Pampelmuse 7.012  
03.06.2007 11:39
von Pampelmuse
 Zum letzten Beitrag gehen
  Reguläre Sprache und Beweis 4 ICEMAN 6.647  
09.06.2007 13:45
von Tobias
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten kontextfreie Grammatik->reguläre Sprache? 5 RegEx 7.400  
20.06.2007 12:54
von qwertz
 Zum letzten Beitrag gehen
  Quicksort 1 Phoney 4.966  
22.06.2007 08:53
von dachdecker2
 Zum letzten Beitrag gehen
  Grammatiken 2 mausi 5.367  
23.06.2007 21:30
von mausi
 Zum letzten Beitrag gehen
  kontextfreie Sprachen - Abgeschlossenheit unter Komplement 3 Knoedl 6.507  
24.06.2007 15:45
von Tobias
 Zum letzten Beitrag gehen
  ER-Modell 0 dansun1981 3.926  
28.06.2007 09:18
von dansun1981
 Zum letzten Beitrag gehen
  O-Kalkül 2 Shaihulut 5.604  
28.06.2007 10:39
von Shaihulut
 Zum letzten Beitrag gehen
Zeige Themen 41 bis 60 von 910, sortiert nach in Reihenfolge,
Seiten (46): « vorherige 1 2 [3] 4 5 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