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

Thema

Antworten

Autor

Hits

Bewertung

Letzter Beitrag

Informationsverlust

Linker

3.062

13.01.2012 23:02
von Linker

Prädikatenlogische Äquivalenz beweisen...

Lucy1

3.467

14.12.2011 17:13
von Lucy1

algorithmus space complexity

ping_me

3.249

29.10.2011 22:26
von ping_me

Graphentheorie: schwach/stark zusammenhängend

Netskileini

3.457

28.06.2011 18:13
von Netskileini

Bits verknüpfen?

Gwyn

3.479

24.05.2011 21:05
von Gwyn

Automaten, kürzestes unterscheidendes Wort

C3P0

3.538

04.05.2011 14:05
von C3P0

Kontextfreie Grammatik

levie

3.955

03.02.2011 00:53
von levie

Pumping-Lemma Eigenschaften und nicht kontextfreie Sprachen

TomTom87

3.800

14.01.2011 14:13
von TomTom87

Turingmaschine

jenny90

3.605

20.12.2010 21:48
von jenny90

Grammatik finden!

Zonk

3.164

02.12.2010 11:29
von Zonk

Boolesche Algebra

Seb

3.322

14.11.2010 00:43
von Seb

Epsilon-NEA ind DEA umwandeln

Kakao_N

5.433

26.06.2010 18:29
von Kakao_N

Wort aus {0|1}* erzeugen, das nicht in einer Menge von geg. Wörtern liegt

Martin_K

3.570

20.06.2010 17:36
von Martin_K

CYK Algorithmus

CookieMonsta

4.076

18.06.2010 23:33
von CookieMonsta

Übertragungsgeschwindigkeiten

jkieklsf

3.668

23.04.2010 19:57
von jkieklsf

Bäume

Info2

3.302

18.04.2010 16:27
von Info2

LOCAD - Modulo 3 Zähler

slim2crazy

4.562

27.12.2009 11:10
von slim2crazy

Abschlusseigenschaften reguläre Sprachen

Bubbsi

4.027

09.12.2009 13:34
von Bubbsi

Beweis Rechtskongruenzrelationen

Prahlehans

3.809

14.11.2009 11:18
von Prahlehans

IEEE Zahlen

free-99

4.814

02.11.2009 12:20
von free-99

Zeige Themen 861 bis 880 von 910, sortiert nach in Reihenfolge,

Seiten (46): « erste ... « vorherige 42 43 [44] 45 46 nächste »
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