Hallo Peter,
zu deiner Frage a):
Die leere Menge aufgrund der Definition des regulären Ausrucks nicht extra aufgeführt werden:
Sei E ein Alphabet.
Menge RA(E) der regulären Ausdrücke über E definiert durch:
(1) ∅ ∈ RA(E)
(2) ∀e∈E:e∈RA(E)
(3) ∀α,α ́∈RA(E): (α+α ́)∈RA(E), (α⋅α ́)∈RA(E), (α*)∈RA(E)
S. 60, Foliensatz 2.