(35 points) Convert following problems into languages. Use the notation〈x〉as a string representation of an object. For example, the problem of determining whether squareroot of a natural number is a natural number (as discussed in class) can be described as{〈n〉 |is a natural number and√nis a natural number}a. The problem of determining whether a string has length less than 128.Notethat|s|denotes the length of a strings.