Relation on strings theory of computation