God dammit, I've already found errors in the thesis. The world is not fair.

p.16, minor problem with typography, but in both of the sets used to exemplify the curly L ("language of") notation, there should be spacing on either side of the vertical bar.

p.17, in the definition of Ω notation, the first occurrence of
*n* should be *n _{0}*.

p.38, notation 2.19 defines the transitive closure when it should define the
reflexive-transitive closure. That is, *A*⇒^{*}*B*
includes *A*. As I can't get MathML to work, it's hard to explain exactly
the correction, but either notation 2.18 should be redefined to allow an index
of 0 and notation 2.19 redefined to start *k* at 0, or else notation 2.19
should be defined as being the current union unioned with the first operand.
Using LaTeX's notation (forgiveness, please), notation 2.19 should read:
*Equivalently,
$A\Rightarrow^*B=A\cup(\bigcup\limits_{k=1}^{\inf}A\Rightarrow^kB)$.*
Hopefully that is clear to someone.

p.40, at the top of the proof for lemma 2.22, "Sigma" should read "Σ". Boo, another typographical error :(

p.58, theorem 2.49 neglects the constraint that *x* must not be
complementary to U. I.e., *x* must be one of (dotted or undotted) C or U.
Ya, I know, an error in one of the major theorems of the thesis, not good.
Thanks to Franzi for finding this.

p.64, *several (perhaps infinite) right-to-left "passes" may not be
performed* should read *several (perhaps infinite) right-to-left "passes"
may need to be performed*.