Write a formal specification of the following problems as we did in class $($PEAS: performance measure, environment, actions, and sensors$).$ Be as explicit as possible, providing a specific data representation for the states and actions and showing how the results of applying an action to a state are determined.Small Towers of Hanoi: there are three vertical rods $($R$1,$ R$2,$ R$3)$ and three disks $($D$1,$ D$2,$ D$3).$ Each disk has a hole in the center so that it can slide into any of the three rods. Disk D$1$ is small, disk D$2$ is medium$-$sized, and disk D$3$ is large. Initially, all three$$disks are stacked on rod R$1,$ with the largest at the bottom and the smallest at the top. The goal is to move all the disks to another rod, with the following rules: $1)$ only one disk can be moved at a time, $2)$ each move consists of taking the upper disk at one rod, and sliding it onto another rod, placing it on top of any disk already present in that rod, $3)$ No disk may be placed on top of a smaller disk. $($see Wikipedia for more info on the Towers of Hanoi, if necessary$)$