Title: 13th Annual Symposium on Switching & Automata Theory,October 25-27, 1972