Revision history for AtfsProduktionen


Revision [6608]

Last edited on 2008-11-21 01:33:38 by ToBo
Additions:
AB → CD Doppelte Substitution
Deletions:
A → CD Doppelte Substitution

Revision [6599]

Edited on 2008-11-21 00:32:31 by ToBo
Additions:
==a==Grammatik Typ==a==
[[ChomskyHierarchie Chomsky-Hierarchie]]
Deletions:
==a==Chomsky-Hierarchie==a==
S. 49
===Allgemeine Grammatiken (Typ 0)===
===Nichtverkürzte Grammatiken (Typ 1)===
kontextsensitiv
===Kontextfreie Grammatiken (Typ 2)===
===(rechts-)lineare Grammatiken (Typ 3)===
Wobei A,B,C,D ∈ N und t ∈ T ist.

Revision [6596]

Edited on 2008-11-21 00:30:30 by ToBo
Additions:
==a==Produktionen==a==

Revision [6595]

Edited on 2008-11-21 00:29:44 by ToBo

No Differences

Revision [6594]

Edited on 2008-11-21 00:29:06 by ToBo
Additions:
{{image url="images/AtfsGrammatik.png"}}
Deletions:
{{image url="images/AtfsGrammatik.tex.png"}}

Revision [6593]

Edited on 2008-11-21 00:28:34 by ToBo
Additions:
{{image url="images/AtfsGrammatik.tex.png"}}
==a==Sprache und Grammatik==a==
Deletions:
G = (N, T, S, P)
===Sprache und Grammatik===
==a==Beispiel==a==

Revision [6512]

Edited on 2008-11-17 03:58:53 by ToBo
Additions:
(SkriptAtfsEckNr2, S. 47)

Revision [5780]

Edited on 2008-10-25 15:44:10 by ToBo
Additions:
=====Produktionen und Grammatik formaler Sprachen=====
Deletions:
=====Produktionen in den Automatentheorie=====

Revision [5779]

Edited on 2008-10-25 14:47:58 by ToBo
Deletions:
G = ( N = {S,T,F}, T = {x,y,z,*,/,(,)}, Start = S, P = { S → F T

Revision [5778]

Edited on 2008-10-25 14:47:38 by ToBo
Additions:
G = ( N = {S,T,F}, T = {x,y,z,*,/,(,)}, Start = S, P = { S → F T
Deletions:
G = ( N = {S,T,F}, T = {x,y,z,*,/,(,)}, Start = S, P = { S → F | T

Revision [5777]

Edited on 2008-10-25 14:47:27 by ToBo
Additions:
==a==Was sind Produktionen?==a==
G sein die Grammatik einer formalen Sprache
N: Alphabet der nichtterminalen Symbole, Platzhalter, z.B. <digit> oder <number>
T: Alphabet der terminalen Symbole mit N ∩ T = ∅, z.B. 1 oder 'p'
===Beispiel===
===Sprache und Grammatik===
L ist eine formale Sprache eine Sprache mit der Grammatik G
==a==Chomsky-Hierarchie==a==
==a==Beispiel==a==
G = ( N = {S,T,F}, T = {x,y,z,*,/,(,)}, Start = S, P = { S → F | T
Deletions:
N: Alphabet der nichtterminalen Symbole, z.B. <digit>
T: Alphabet der terminalen Symbole mit N ∩ T = ∅, z.B. 1
===Beispiel 1===
==a==Chomsky-Hierarchie ==a==

Revision [5770]

Edited on 2008-10-25 13:11:14 by ToBo

No Differences

Revision [5769]

Edited on 2008-10-25 12:57:55 by ToBo
Additions:
==a==Chomsky-Hierarchie ==a==
S. 49
Deletions:
Chomsky-Hierarchie (Typ 0 bis Typ 3) S. 49

Revision [5768]

Edited on 2008-10-25 12:57:20 by ToBo
Additions:
===Kontextfreie Grammatiken (Typ 2)===
Deletions:
===Kontextfreie Grammatiken (Typ 2)

Revision [5767]

Edited on 2008-10-25 12:57:09 by ToBo
Additions:
A → t Termination
A → tB Expansion
A → BC Expansion
A → CD Doppelte Substitution
A → t Termination
A → BC Expansion
A → CD Doppelte Substitution
A → t Termination
A → BC Expansion
A → t Termination
A → tB Expansion
Wobei A,B,C,D ∈ N und t ∈ T ist.
Deletions:
Termination
Expansion
Expansion
Doppelte Substitution
Termination
Expansion
Doppelte Substitution
Termination
Expansion
Termination
Expansion

Revision [5766]

Edited on 2008-10-25 12:54:59 by ToBo
Additions:
Chomsky-Hierarchie (Typ 0 bis Typ 3) S. 49
===Allgemeine Grammatiken (Typ 0)===
A → ε Reduktion
Termination
Expansion
Expansion
Doppelte Substitution
===Nichtverkürzte Grammatiken (Typ 1)===
kontextsensitiv
Termination
Expansion
Doppelte Substitution
===Kontextfreie Grammatiken (Typ 2)
Termination
Expansion
===(rechts-)lineare Grammatiken (Typ 3)===
Termination
Expansion
Deletions:
Chomsky-Hierarchie (Typ 0 bis Typ 3) S.49

Revision [5763]

Edited on 2008-10-25 12:24:27 by ToBo
Additions:
L(G) = {x ∈ T* | S ⇒ x }
Chomsky-Hierarchie (Typ 0 bis Typ 3) S.49
Deletions:
Typ 0: keine Einschränkung
Typ 1: ∀ Produktionen a → b gilt:
b ∈ (N ∪ T)""<sup>+</sup>"" und |a| ≤ |b|

Revision [5762]

Edited on 2008-10-25 12:21:40 by ToBo
Deletions:
L(G) = {x ∈ T* | S ⇒ x }

Revision [5761]

Edited on 2008-10-25 12:17:04 by ToBo
Additions:
Typ 1: ∀ Produktionen a → b gilt:
Deletions:
Typ 1: ∀ Produktionen a →b gilt:

Revision [5760]

Edited on 2008-10-25 12:16:29 by ToBo
Additions:
Typ 0: keine Einschränkung
Typ 1: ∀ Produktionen a →b gilt:
Deletions:
~-Typ 0: keine Einschränkung
~-Typ 1: ∀ Produktionen a →b gilt:

Revision [5759]

Edited on 2008-10-25 12:15:34 by ToBo
Additions:
L(G) = {x ∈ T* | S ⇒ x }
b ∈ (N ∪ T)""<sup>+</sup>"" und |a| ≤ |b|
Deletions:
L(G) = {x ∈ T* ""|"" S ⇒ x }
~b ∈ (N ∪ T)""<sup>+</sup> und |a| ≤ |b|

Revision [5758]

Edited on 2008-10-25 12:14:59 by ToBo
Additions:
L(G) = {x ∈ T* ""|"" S ⇒ x }
Deletions:
L(G) = {x ∈ T* | S ⇒ x }

Revision [5757]

Edited on 2008-10-25 12:14:24 by ToBo
Additions:
L(G) = {x ∈ T* | S ⇒ x }
~-Typ 0: keine Einschränkung
~-Typ 1: ∀ Produktionen a →b gilt:
~b ∈ (N ∪ T)""<sup>+</sup> und |a| ≤ |b|

Revision [5752]

Edited on 2008-10-25 11:45:37 by ToBo
Additions:
T: Alphabet der terminalen Symbole mit N ∩ T = ∅, z.B. 1
Deletions:
T: Alphabet der terminalen Symbole mit N ∩ T = ≠, z.B. 1

Revision [5751]

Edited on 2008-10-25 11:44:49 by ToBo
Additions:
N: Alphabet der nichtterminalen Symbole, z.B. <digit>
T: Alphabet der terminalen Symbole mit N ∩ T = ≠, z.B. 1
S: Startsymbol mit S ∈ N
P: Eine endliche Teilmenge von (N ∪ T)""<sup>+</sup>"" × (N ∪ T)* und heißt die Menge der Produktionen.
Deletions:
N: nichtterminale Symbole: <digit>
T: terminale Symbole: 1

Revision [5750]

Edited on 2008-10-25 11:40:44 by ToBo
Additions:
N: nichtterminale Symbole: <digit>
T: terminale Symbole: 1
===Beispiel 1===
Schritte:
~1) <number> := <digit>{<digit>}
~1) <digit> := 1
~1) <digit> := 5

Revision [5749]

Edited on 2008-10-25 11:38:50 by ToBo
Additions:
=====Produktionen in den Automatentheorie=====
Produktionen sind Ersetzungsregeln.
G = (N, T, S, P)
<number> → <digit><digit> → 1<digit> → 15
Deletions:
=====Titel=====

Revision [5748]

The oldest known version of this page was created on 2008-10-25 11:37:05 by ToBo
Valid XHTML :: Valid CSS: :: Powered by WikkaWiki