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

Thema

Antworten

Autor

Hits

Bewertung

Letzter Beitrag

Rückgekoppelte Gatter

Ratte

2.508

15.01.2017 02:31
von Ratte

Grammatik aus einer Sprache bilden

Felix1999

2.502

15.01.2019 00:54
von Felix1999

Speicherkapazität eines RAM bestimmen ?

mickey

2.494

17.05.2017 13:43
von mickey

Zweierkomplement und Überlauf

Claire_1987

2.493

14.05.2017 12:40
von Claire_1987

Beweis das Sprache nicht regulär ist.

Nick96

2.489

10.11.2018 20:57
von Gast

Welche Sprache erzeugt diese Grammatik?

igor789

2.489

25.10.2016 20:03
von igor789

Reduktion vom Halteproblem

Schraubendreher

2.483

05.03.2018 12:28
von Schraubendreher

Primzahlzwillinge in C

Karyonixx

2.480

01.12.2018 18:08
von Karyonixx

Formale Verifikation von geordneten Paaren

Zephyr31429

2.480

20.02.2017 13:46
von Zephyr31429

Zustandsdiagramm

MR I

2.479

03.07.2018 12:08
von MR I

Hilfe bei Funktionsdeklaration

Zrefe

2.479

01.11.2016 19:51
von Zrefe

Visual Studio drawable datei nicht auffindbar

Neard

2.475

25.09.2018 11:22
von Neard

Huffman Häufigkeitsverteilung >= 1/3

Dr.Java

2.474

24.12.2016 12:52
von Dr.Java

Flussnetzwerk

k0mpliziert_x3

2.472

16.07.2017 23:03
von k0mpliziert_x3

Fluss Diagramm

Bash33

2.468

12.02.2018 17:28
von Bash33

Unicode in UTF-8

Thisisit

2.465

12.01.2017 19:03
von Thisisit

Hoare Kalkül

christiina

2.459

16.01.2017 14:57
von christiina

Laufzeit bestimmen?

Tetka

2.458

26.05.2018 21:32
von Tetka

Netzwerk und Protokolle

mersu

2.456

18.03.2017 21:06
von mersu

Datenstrukturen und Algorithmen Hausubungen

bimdotcom

2.456

14.11.2016 14:16
von bimdotcom

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