Formal languages and automata.- Combinatorial and algebraic properties of words and languages.- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages.- Codes; efficient text algorithms.- Symbolic dynamics; decision problems.- Relationships to complexity theory and logic; picture description and analysis.- Polyominoes and bidimentional patterns; cryptography; concurrency.- Cellular automata; bio-inspried computing; quantum computing.