We solve the open problems of translating, when possible, all common classes of nondeterministic word automata to deterministic and nondeterministic co-Büchi word automata. The handled classes include Büchi, parity, Rabin, Streett and Muller automata. The translations follow a unified approach and are all asymptotically tight. The problem of translating Büchi automata to equivalent co-Büchi aut...

This is a lively and comprehensive survey of the development of education in the prison system and Miss Banks brings to her study wide vision and much human understanding. After five years in the pioneer post of tutor organiser at Maidstone Prison, she has travelled, seen and studied the work of a large number of our 155