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: 19 Besucher) Neues Thema erstellen
Thema Antworten Autor Hits Bewertung Letzter Beitrag
  Binärbaum Theorie Beweis 6 Jo 7.505  
05.01.2016 07:18
von eulerscheZahl
 Zum letzten Beitrag gehen
  Formale Grammatik 4 buzz_lightzyear 7.507  
07.04.2008 16:52
von ed209
 Zum letzten Beitrag gehen
  Hyper-V Replication ein Cluster ? 0 cello 7.567  
21.10.2022 15:12
von cello
 Zum letzten Beitrag gehen
  Turingmaschine binäre Zahlen gerade oder ungerade 7 Takafumi 7.572  
16.02.2020 17:38
von webmin
 Zum letzten Beitrag gehen
  Entscheidbarkeit/Aufzählbarkeit 4 moe 7.574  
05.01.2007 18:00
von moe
 Zum letzten Beitrag gehen
  Array's 4 annika91 7.578  
18.01.2008 15:52
von annika91
 Zum letzten Beitrag gehen
  stabile Menge, polynomieller Algorithmus 5 drespan 7.600  
19.05.2007 10:22
von drespan
 Zum letzten Beitrag gehen
  Produktmaximierung, Greedy, lineares Sortieren 6 JROppenheimer 7.602  
22.01.2008 23:17
von JROppenheimer
 Zum letzten Beitrag gehen
  Verständnis Informatik 10 wissen 7.774  
16.10.2013 22:38
von wissen
 Zum letzten Beitrag gehen
  Zeilenumbruch in einer .txt Datei ( Delphi ) 11 Andro 7.805  
12.02.2017 14:52
von eulerscheZahl
 Zum letzten Beitrag gehen
  L sei eine reguläre Sprache, und L? ? L, ist dann auch L? regulär? 2 Lischen 7.821  
21.12.2010 15:13
von kiste
 Zum letzten Beitrag gehen
  Regular expression gesucht für FSA 6 asm_user 7.828  
02.02.2007 23:27
von asm_user
 Zum letzten Beitrag gehen
  Brauche Rat bei Assembler programmierung 6 Wanze 7.853  
13.01.2010 22:06
von Wanze
 Zum letzten Beitrag gehen
  Beweis zur Komplexität 6 aRo 7.856  
20.05.2008 20:46
von aRo
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten N = Np 0 Anonycat90 7.858  
28.07.2022 20:52
von Anonycat90
 Zum letzten Beitrag gehen
  Perfekte Skip-Liste Zeiger... 4 Sunwater 7.898  
26.11.2006 12:02
von Sunwater
 Zum letzten Beitrag gehen
  Prinzip der Modularisierung 6 ninanina_s 7.935  
27.11.2007 13:17
von JROppenheimer
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Haskell: String in Liste umwandeln 0 info111 7.957  
02.01.2022 13:56
von info111
 Zum letzten Beitrag gehen
  C++ Kreis 13 HAllo12 7.958  
16.04.2013 11:29
von Karlito
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Reguläre Ausdrücke angeben 0 Kata416 8.007  
27.10.2021 20:09
von Kata416
 Zum letzten Beitrag gehen
Zeige Themen 781 bis 800 von 910, sortiert nach in Reihenfolge,
Seiten (46): « erste ... « vorherige 38 39 [40] 41 42 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