Sponsored by IEEE Computer Society, Switching and Automata Theory Committee, and various universities, -1973; by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory and the University of New Orleans, 1974