No. 22 (2001): RS-22 The Equational Theory of Fixed Points with Applications to Generalized Language Theory