sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computing Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the University of ColoradoACM1977