SECTION:  Computer Scienc.../ Theoretical programming/ Algebraic theory of languages and automata/