Das Matheforum.
Das Matheforum des
MatheRaum
.
Für
Schüler
,
Studenten
, Lehrer, Mathematik-Interessierte.
Hallo Gast!
[
einloggen
|
registrieren
]
Startseite
·
Forum
·
Wissen
·
Kurse
·
Mitglieder
·
Team
·
Impressum
Forenbaum
Forenbaum
Mathe
Schulmathe
Primarstufe
Mathe Klassen 5-7
Mathe Klassen 8-10
Oberstufenmathe
Mathe-Wettbewerbe
Sonstiges
Hochschulmathe
Uni-Analysis
Uni-Lin. Algebra
Algebra+Zahlentheo.
Diskrete Mathematik
Fachdidaktik
Finanz+Versicherung
Logik+Mengenlehre
Numerik
Uni-Stochastik
Topologie+Geometrie
Uni-Sonstiges
Mathe-Vorkurse
Organisatorisches
Schule
Universität
Mathe-Software
Derive
DynaGeo
FunkyPlot
GeoGebra
LaTeX
Maple
MathCad
Mathematica
Matlab
Maxima
MuPad
Taschenrechner
Gezeigt werden alle Foren bis zur Tiefe
2
Navigation
Startseite
...
Neuerdings
beta
neu
Forum
...
vor
wissen
...
vor
kurse
...
Werkzeuge
...
Nachhilfevermittlung
beta
...
Online-Spiele
beta
Suchen
Verein
...
Impressum
Das Projekt
Server
und Internetanbindung werden durch
Spenden
finanziert.
Organisiert wird das Projekt von unserem
Koordinatorenteam
.
Hunderte Mitglieder
helfen ehrenamtlich in unseren
moderierten
Foren
.
Anbieter der Seite ist der gemeinnützige Verein "
Vorhilfe.de e.V.
".
Partnerseiten
Mathe-Seiten:
MatheRaum.de
This page in English:
MathSpace.org
MatheForum.net
SchulMatheForum.de
UniMatheForum.de
TeXimg.de
Weitere Fächer:
Vorhilfe.de
FunkyPlot
: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Startseite
>
Forum "Formale Sprachen"
Foren für weitere Schulfächer findest Du auf
www.vorhilfe.de
z.B.
Deutsch
•
Englisch
•
Französisch
•
Latein
•
Spanisch
•
Russisch
•
Griechisch
Forum "Formale Sprachen"
Forum "Formale Sprachen"
455
Diskussionen (darin
1.837
Artikel).
Seite
4
von
5
erste
<
4
>
letzte
Diskussion
Pumping Lemma für Reg. Spr.
Umw. RegEx. n. Eps-NEA,NEA,DEA
wortproblem
Beweis regulärer Sprache
Formulierung einer Sprache
Äquivalenzrelation
Prädikate
Verband
Keller Automaten und TuringM.
Turing Maschine
endlicher automat
Strukturelle Induktion
rekursiv-aufzählbar, Halteprob
Entscheidbarkeit des leeren Wo
Pumping-Lemma
Kontextfreie Grammatiken
Turing maschine LOOP
Indet. Automat zu det. Automat
Äquivalenzen zwischen Formeln
gnf
reguläre sprachen
Typ-0 bis Typ-3 Sprachen
Turingmaschine
Turingmaschine
Nicht Deterministisch Algorith
table filling
kontextfreies Pumping-Lemma
kontextfreie Grammatik
Problemspezifikation
prädikatenlogischen Formeln
Turingmaschine
Kf. Sprache ( Kurado NF )
Aussagenlogik
Keller Automat
Pumping Lemma
reguläre Grammatik
Korrektheit einer Grammatik
Determinitischer EA
L kontextfrei => L^c ktf ?
Typ-0 Grammatik
DEA Äquivalenzrealtion Beweis
Minimal-DFA
Abschlusseigenschaften
inverser Homomorphismus -> DEA
Lemma Arden
Relation und Ordnung
Automat erstellen
2 Sprachen
Entscheidbarkeit
RegEx für gerade Zahlen
Entscheidbarkeit
palindrome automaten
Kontextfreie Grammatik
Menge
Pumping Lemma
Mengencharakterisierung
Ableitungen
Pumping Lemma
Pumpinglemma
Äquivalenzrelation
Reduzierbarkeit von PCPs
Kontextfreie Grammatik -> PDA
Links- und Rechtsrekursion
Entscheidbare Menge
Kellerautomat in kfG
kontextfreie Sprache in PDA
Entscheidungsproblem
Endlicher Automat
Regulärer Ausdruck
Kreuzprodukt und Alphabete
C++: Referenzen
Klassen C++
Programmieren in Java
cin.get Funktion C++
Chomsky-Hierarchie
Grammatik für Zahlen
rekursive Funktionen
Logik
3-Band Turing Maschine
totale Funktionen
NEA (Produktautomat)
Induktion Menge
Sprache für Automaten
Mealy/Moore erkennen an Ablauf
Erweiterung des Berechenbarkei
(Un)entscheidbare Mengen
Sprache in Syntaxdiagramm
Automat erkennt reelle Zahlen
Rekursion und Iteration
rekursive Mengen
reguläre Sprachen
ZF-Notation
Surjektivität von \phi
Erklärung zur EBNF
Endlicher Automat
Funktionen in Haskell
reguläre Sprache?
kleenschen operator
Ocaml: Aussagenlogik
Ocaml - Listenfunktionen
www.matheforum.net
[
Startseite
|
Forum
|
Wissen
|
Kurse
|
Mitglieder
|
Team
|
Impressum
]