Nächste Seite:
(erweiterte) Backus-Naur-Form
Aufwärts:
Syntax von Programmiersprachen
Vorherige Seite:
Klammer-Sprachen
Übungen
Beispiele Wort-Ersetzung (
ab
→
baa
mathend000#, usw.)
Dyck-Sprache: Beweis
L
(
G
)⊆
D
mathend000#
(Induktionsbehauptung? Induktionsschritt?)
Dyck-Sprache: Beweis
D
⊆
L
(
G
)
mathend000#
CF-Grammatik für
{
w
|
w
∈{
a
,
b
}
*
,|
w
|
a
= |
w
|
b
}
mathend000#
CF-Grammatik für
{
w
|
w
∈{
a
,
b
}
*
, 2⋅|
w
|
a
= |
w
|
b
}
mathend000#
Johannes Waldmann 2014-03-31