Informatiker Board | Theoretische Informatik

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

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

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: 13 Besucher)

Thema

Antworten

Autor

Hits

Bewertung

Letzter Beitrag

Komplexitätsbeweis

aRo

7.934

04.08.2008 12:15
von Tobias

Kontextsensitive Grammatik finden

aRo

4.020

22.05.2008 18:39
von aRo

Beweis zur Komplexität

aRo

7.780

20.05.2008 20:46
von aRo

Sprache einer Grammatik gesucht

aRo

4.205

28.10.2007 12:01
von aRo

Induktion Ungerichtete Wald

Arsa

2.487

13.12.2016 20:33
von Arsa

Boolesche Algebra

Asci33

3.264

20.11.2018 14:58
von as_string

Asci Code

Asci33

4.014

18.11.2018 23:46
von as_string

Verständnisfragen zu Aufgabe zur primitiven Rekursion

Asgard

4.692

14.02.2007 21:51
von Tobias

Zusammenhängender Graph

Asmodeen

4.709

08.02.2011 18:21
von Asmodeen

left recursion elimination

asm_user

3.919

26.02.2007 15:43
von asm_user

Regular expression gesucht für FSA

asm_user

7.748

02.02.2007 23:27
von asm_user

rekursive funktion als while-loop

asm_user

7.984

20.01.2007 23:47
von Crotaphytus

IOTA's Tangle

Asse

2.603

12.06.2019 19:02
von Asse

PDA zu Grammatik

Atze

8.090

28.02.2023 11:46
von Rosenblüte

Laufzeitbestimmung bei rekursiver Gleichung

AufgeschmissenerGast

5.747

08.05.2016 18:57
von AufgeschmissenerGast

Programmablaufplan und Struktogramm

Auhhu

2.699

24.08.2016 13:59
von Auhhu

Bildstatistik: Entropie und Entropiecodierung (Huffman-Code)?

AVSTS

2.830

01.07.2017 19:07
von as_string

Funktion in C++ programmieren

Azuro

3.556

01.11.2016 18:03
von eulerscheZahl

Rechnerstruktur

Baby

5.224

04.10.2017 10:48
von as_string

Terminierung probabilistischer Algorithmus

Backwardsman

7.160

18.12.2006 23:09
von ed209

Zeige Themen 41 bis 60 von 910, sortiert nach in Reihenfolge,

Seiten (46): « vorherige 1 2 [3] 4 5 nächste » ... letzte »
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