Some of the central problems in computer science and, in particular, in programming are the correctness and the similarity problems, which contain: the question of whether a program computes a given function; the problem ...