Элемент 'Mathematical theory of computation.'