Algorithms book. Theory of computation. topic 2 book. atallah.