As we know, there exist many interesting mathematical problems in Theoretical Computer Science, as the comparison of characters between strings, or the acceptation / decision of languages by Turing Machines. Also others, as the ”halting problem” or the ”travel salesman problem”, are undecidable. And many other remain open, only conjectured. We can establish some results, known as Hierarchy Theo...