TTTV 5 - Andreas, Dennis en Niels.

1a. Ja. [a -> aa, b -> bb, c -> cc].
b. nee, door de willekeurigheid kan er geen determinisitische grammatica voor worden bedacht.

2a. 
axioma:
B
regels:
B -> |+|-B

uitwerking:
diepte 0: B
diepte 1: |+|-B
diepte 2: |+|-|+|-B
diepte 3: |+|-|+|-|+|-B


2b.
---
Ja, deze is regulier.

reguliere expressie:
stel S = "|+|"

S*

S kan eindeloos herhaald worden, en voldoet aan de regel A -> bC
als b is S en C is een sequentie van een gegeven aantal S


opdracht 2c
---
axiom:
B
regels:
B -> F+F-B
F -> FF

uitwerking:
diepte 0: B
diepte 1: F+F-B
diepte 2: FF+FF-F+F-B
diepte 3: FFFF+FFFF-FF+FF-F+F-B


opdracht 2d
---
nee, deze is niet regulier.

Pompstelling:
als