elements of the theory of computation - "lewis, harry r. " (uk : prentice-hall, 1981)