Title: 15th International Colloquium on Automata, Languages and Programming, Tampere, July 1988