Revision history for AutomatentheorieUndFormaleSprachen


Revision [13656]

Last edited on 2012-05-01 04:54:34 by ToBo
Deletions:
==a==Material==a==
~-Skript (SkriptAtfsEckNr1, SkriptAtfsEckNr2)
~-Schoening2008
~-Mitschrift
~-Übungen (Eck)
~-Übungen (Vorlesung)


Revision [6908]

Edited on 2008-12-07 21:20:13 by ToBo
Additions:
==a==Menschen==a==
[[http://en.wikipedia.org/wiki/Noam_Chomsky Avram Noam Chomsky]]


Revision [6848]

Edited on 2008-12-06 11:54:37 by ToBo
Additions:
==a==Tools==a==
**bnfc (Linux)**
The BNF Converter is a compiler construction tool that generates a compiler front-end and a readable syntax description document from a Labelled BNF grammar. It was originally written to generate Haskell, but it can now also be used for generating Java, C++, and C.
To process C or C++ output, you need a C or C++ compiler, respectively, the Bison parser generator (package bison) and the flex scanner generator (package flex). Homepage: http://www.cs.chalmers.se/~markus/BNFC/


Revision [6644]

Edited on 2008-11-28 18:44:08 by ToBo
Additions:
~-[[PumpingLemma Pumping Lemma]]


Revision [6610]

Edited on 2008-11-21 01:34:36 by ToBo
Additions:
~-[[ChomskyHierarchie Chomsky-Hierarchie]]


Revision [6592]

Edited on 2008-11-21 00:26:36 by ToBo
Additions:
~-Skript (SkriptAtfsEckNr1, SkriptAtfsEckNr2)
~-Schoening2008
~-Mitschrift
~-Übungen (Eck)
~-Übungen (Vorlesung)
Deletions:
Skript
Schoening2008
Siehe auch Notizen und Übungen


Revision [6514]

Edited on 2008-11-17 03:59:16 by ToBo
Additions:
~-Backus-Naur-Form [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]], (SkriptAtfsEckNr2, S. 9)
Deletions:
~-Backus-Naur-Form [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]]


Revision [6513]

Edited on 2008-11-17 03:59:00 by ToBo
Additions:
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten ]] (DEA)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten]] (NEA)
~-[[FormaleSprachen Formale Sprachen]]
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]]
~-[[AtfsProduktionen Grammatik und Produktionen]]
~-Backus-Naur-Form [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]]
Deletions:
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten ]] (DEA), (SkriptAtfsEckNr1, S. 15)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten]] (NEA), (SkriptAtfsEckNr1, S. 19)
~-[[FormaleSprachen Formale Sprachen]], (SkriptAtfsEckNr1, S. 25)
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]], (SkriptAtfsEckNr1, S. 33)
~-[[AtfsProduktionen Grammatik und Produktionen]], (SkriptAtfsEckNr2, S. 47)
~-Backus-Naur-Form [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]], (SkriptAtfsEckNr1, S. 9)


Revision [6507]

Edited on 2008-11-17 02:04:54 by ToBo
Additions:
~-[[AtfsProduktionen Grammatik und Produktionen]], (SkriptAtfsEckNr2, S. 47)
Deletions:
~-[[AtfsProduktionen Produktionen]], Ersetzungsregeln, (SkriptAtfsEckNr2, S. 47)


Revision [6506]

Edited on 2008-11-17 01:48:47 by ToBo
Additions:
~-Backus-Naur-Form [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]], (SkriptAtfsEckNr1, S. 9)


Revision [6504]

Edited on 2008-11-17 01:00:06 by ToBo
Additions:
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten ]] (DEA), (SkriptAtfsEckNr1, S. 15)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten]] (NEA), (SkriptAtfsEckNr1, S. 19)
~-Kellerautomaten (Schoening2008, S. 97)
Deletions:
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEckNr1, S. 15)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten (NEA)]], (SkriptAtfsEckNr1, S. 19)


Revision [5747]

Edited on 2008-10-25 11:36:50 by ToBo
Additions:
~-[[AtfsProduktionen Produktionen]], Ersetzungsregeln, (SkriptAtfsEckNr2, S. 47)
Deletions:
~-Produktionen: Ersetzungsregeln, (SkriptAtfsEckNr2, S. 47)


Revision [5740]

Edited on 2008-10-25 11:30:07 by ToBo
Additions:
==a==Zustandsautomaten und formale Sprachen==a==
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEckNr1, S. 15)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten (NEA)]], (SkriptAtfsEckNr1, S. 19)
~-[[FormaleSprachen Formale Sprachen]], (SkriptAtfsEckNr1, S. 25)
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]], (SkriptAtfsEckNr1, S. 33)
~-Produktionen: Ersetzungsregeln, (SkriptAtfsEckNr2, S. 47)
==a==Material==a==
Skript
Deletions:
==a==Zustandsautomaten==a==
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEck, S. 15)
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten (NEA)]], (SkriptAtfsEck, S. 19)
~-[[FormaleSprachen Formale Sprachen]], (SkriptAtfsEck, S. 25)
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]], (SkriptAtfsEck, S. 33)


Revision [5726]

Edited on 2008-10-25 09:25:15 by ToBo
Deletions:
.,


Revision [5725]

Edited on 2008-10-25 09:24:58 by ToBo
Additions:
==a==Grundlagen==a==
~-[[MathematikQuantoren Quantoren]]
~-[[MathematikPraedikate Prädikate]]
~-[[MathematikMengen Mengen]]
~-[[FormaleSprachen Formale Sprachen]], (SkriptAtfsEck, S. 25)
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]], (SkriptAtfsEck, S. 33)
.,
Deletions:
==a==Kurze Einführung==a==
[[MathematikQuantoren Quantoren]]
[[MathematikPraedikate Prädikate]]
[[MathematikMengen Mengen]]
~-[[FormaleSprachen Formale Sprachen]]
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]]


Revision [5722]

Edited on 2008-10-25 09:22:40 by ToBo
Deletions:
===Zeichen und Zeichenmenge===
Zeichen: Ein Alphabet ist eine vereinbarte Zeichenmenge
Zeichenfolgen: Wörter, Sätze, Satzgefüge
in der Theorie: Wörter über Alphabet
S ist ein Alphabet
S = {a,b,c,x,k,l,...,z}
===Mengen===
S ist eine Menge
S = {o, t}
//o und t sind Elemente der Menge S//
s ∈ S
//s ist eine Element der Menge S//
S""<sup>+</sup>""
//beschreibt Wörter über S mit mindestens einem Zeichen//
Beispiele:
s = o
s = t
s = ot
s = to
s = otto
S* beschreibt Wörter über S mit mindestens einem Zeichen oder ein leeres Wort (enthält kein Zeichen)
s = t
s = otto
s = ∅
s = s""<sub>0</sub>"" s""<sub>1</sub>"" ... s""<sub>n</sub>"", s""<sub>i</sub>"" ∈ S
===Länge===
s = otto
|s| = 4
|otto| = 4
|s|""<sub>x</sub>""
ist die länge von s bezogen auf die Anzahl des Vorkommens des Zeichens x
leeres Wort |epsilon| = 0
""|0110101|<sub>1</sub>"" = 4
""|0110101|<sub>0</sub>"" = 3
""|0110101|<sub>2</sub>"" = 0
===Konkatenation===
[[http://de.wikipedia.org/wiki/Konkatenation_(Formale_Sprache)#Konkatenation Konkatenation]]: Verkettung, Hintereinanderschreiben
s = s""<sub>0</sub>"" s""<sub>1</sub>"" s""<sub>2</sub>"" ... s""<sub>n</sub>"" |s| = n + 1
t = t""<sub>0</sub>"" t""<sub>1</sub>"" t""<sub>2</sub>"" ... t""<sub>m</sub>"" |t| = m + 1
Kat(s,t) = st |st| = n+m+2
Wirkung von Epsilon:
Kat(eps, s) = epss = s = seps = Kat(s,eps)


Revision [5721]

Edited on 2008-10-25 09:20:53 by ToBo
Additions:
S ist eine Menge
S = {o, t}
//o und t sind Elemente der Menge S//
s ∈ S
//s ist eine Element der Menge S//
S""<sup>+</sup>""
//beschreibt Wörter über S mit mindestens einem Zeichen//
Beispiele:
s = o
s = t
s = ot
s = to
s = otto
s = t
s = otto
s = ∅
s = s""<sub>0</sub>"" s""<sub>1</sub>"" ... s""<sub>n</sub>"", s""<sub>i</sub>"" ∈ S
s = otto
|s| = 4
|otto| = 4
|s|""<sub>x</sub>""
ist die länge von s bezogen auf die Anzahl des Vorkommens des Zeichens x
Deletions:
S""<sup>+</sup>"" beschreibt Wörter über S mit mindestens einem Zeichen
s = s""<sub>0</sub>"" s""<sub>1</sub>"" ... s""<sub>n</sub>"", s""<sub>i</sub>"" e S
s = otto (Länge von s ist 4)
|s| = |otto| = 4
|s|""<sub>x</sub>"" ist die länge von s bezogen auf die Anzahl des Vorkommens des Zeichens x


Revision [5713]

Edited on 2008-10-25 08:47:14 by ToBo
Additions:
[[MathematikQuantoren Quantoren]]
[[MathematikPraedikate Prädikate]]
[[MathematikMengen Mengen]]
~-[[ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe]]


Revision [5685]

Edited on 2008-10-24 11:20:24 by ToBo
Additions:
~-[[FormaleSprachen Formale Sprachen]]


Revision [5673]

Edited on 2008-10-23 17:05:58 by ToBo
Additions:
~-[[NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten (NEA)]], (SkriptAtfsEck, S. 19)
Deletions:
~-Nichtdetirministische, endliche (Zustands)automaten (NEA), (SkriptAtfsEck, S. 19)


Revision [5672]

Edited on 2008-10-23 17:00:11 by ToBo
Additions:
==a==Zustandsautomaten==a==
~-[[ZustandsAutomaten Zustandsautomaten]] allgemein
~-[[EndlicherAutomat Endliche Zustandsautomaten]]
~-[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEck, S. 15)
~-Nichtdetirministische, endliche (Zustands)automaten (NEA), (SkriptAtfsEck, S. 19)
Deletions:
===Zustandsautomaten===
[[EndlicherAutomat Endliche Zustandsautomaten]]
[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEck, S. 15)
Nichtdetirministische, endliche (Zustands)automaten (NEA), (SkriptAtfsEck, S. 19)


Revision [5671]

Edited on 2008-10-23 16:58:55 by ToBo
Additions:
[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]], (SkriptAtfsEck, S. 15)
Nichtdetirministische, endliche (Zustands)automaten (NEA), (SkriptAtfsEck, S. 19)
Siehe auch Notizen und Übungen
Deletions:
[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]]


Revision [5670]

Edited on 2008-10-23 16:55:41 by ToBo
Additions:
Schoening2008


Revision [5664]

Edited on 2008-10-23 14:32:10 by ToBo
Additions:
[[DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)]]


Revision [5645]

Edited on 2008-10-23 11:40:13 by ToBo
Additions:
===Zustandsautomaten===
[[EndlicherAutomat Endliche Zustandsautomaten]]
Deletions:
EndlicherAutomat


Revision [5644]

Edited on 2008-10-23 11:39:41 by ToBo
Additions:
CategoryStudiumSE


Revision [5637]

Edited on 2008-10-23 11:35:06 by ToBo
Additions:
EndlicherAutomat
Deletions:
===Endlicher Automat===
Formalisierung reaktiver Systeme (diskrete Systeme)


Revision [5636]

Edited on 2008-10-23 11:31:08 by ToBo
Additions:
===Zeichen und Zeichenmenge===
===Mengen===
===Länge===
===Konkatenation===
===Endlicher Automat===
Formalisierung reaktiver Systeme (diskrete Systeme)


Revision [5635]

Edited on 2008-10-23 11:06:04 by ToBo
Additions:
[[http://de.wikipedia.org/wiki/Konkatenation_(Formale_Sprache)#Konkatenation Konkatenation]]: Verkettung, Hintereinanderschreiben
s = s""<sub>0</sub>"" s""<sub>1</sub>"" s""<sub>2</sub>"" ... s""<sub>n</sub>"" |s| = n + 1
t = t""<sub>0</sub>"" t""<sub>1</sub>"" t""<sub>2</sub>"" ... t""<sub>m</sub>"" |t| = m + 1
Kat(s,t) = st |st| = n+m+2
Wirkung von Epsilon:
Kat(eps, s) = epss = s = seps = Kat(s,eps)


Revision [5634]

Edited on 2008-10-23 11:00:05 by ToBo
Additions:
""|0110101|<sub>1</sub>"" = 4
""|0110101|<sub>0</sub>"" = 3
""|0110101|<sub>2</sub>"" = 0
Deletions:
|0110101|""<sub>1</sub>"" = 4
|0110101|""<sub>0</sub>"" = 3
|0110101|""<sub>2</sub>"" = 0


Revision [5633]

Edited on 2008-10-23 10:59:41 by ToBo
Additions:
s = s""<sub>0</sub>"" s""<sub>1</sub>"" ... s""<sub>n</sub>"", s""<sub>i</sub>"" e S
s = otto (Länge von s ist 4)
|s| = |otto| = 4
|s|""<sub>x</sub>"" ist die länge von s bezogen auf die Anzahl des Vorkommens des Zeichens x
leeres Wort |epsilon| = 0
|0110101|""<sub>1</sub>"" = 4
|0110101|""<sub>0</sub>"" = 3
|0110101|""<sub>2</sub>"" = 0


Revision [5632]

Edited on 2008-10-23 10:50:21 by ToBo
Additions:
S""<sup>+</sup>"" beschreibt Wörter über S mit mindestens einem Zeichen
Deletions:
S""<sub>+</sub>"" beschreibt Wörter über S mit mindestens einem Zeichen


Revision [5631]

Edited on 2008-10-23 10:49:33 by ToBo
Additions:
S""<sub>+</sub>"" beschreibt Wörter über S mit mindestens einem Zeichen
Deletions:
S"<sub>+</sub>" beschreibt Wörter über S mit mindestens einem Zeichen


Revision [5630]

Edited on 2008-10-23 10:49:18 by ToBo
Additions:
==a==Kurze Einführung==a==
Zeichen: Ein Alphabet ist eine vereinbarte Zeichenmenge
Zeichenfolgen: Wörter, Sätze, Satzgefüge
S ist ein Alphabet
S = {a,b,c,x,k,l,...,z}
S"<sub>+</sub>" beschreibt Wörter über S mit mindestens einem Zeichen
S* beschreibt Wörter über S mit mindestens einem Zeichen oder ein leeres Wort (enthält kein Zeichen)
Deletions:
Zeichen
Ein Alphabet ist eine vereinbarte Zeichenmenge
Zeichenfolgen
Wörter, Sätze, Satzgefüge


Revision [5629]

Edited on 2008-10-23 10:37:47 by ToBo
Additions:
Zeichen
Ein Alphabet ist eine vereinbarte Zeichenmenge
Zeichenfolgen
Wörter, Sätze, Satzgefüge
in der Theorie: Wörter über Alphabet


Revision [5628]

The oldest known version of this page was created on 2008-10-23 10:23:58 by ToBo
Valid XHTML :: Valid CSS: :: Powered by WikkaWiki