Give a complete formulation $($state$,$ initial state, actions, etc.$)$ to the following problem. Choose a formulation that is precise enough to be implemented.

Problem: You have three jugs, measuring $12$ gallons, $8$ gallons, and $3$ gallons, and a water faucet. You can fill the jugs from the faucet, or from one another, or pour their contents on the ground. The goal is to measure out $($in a jug$)$ exactly one gallon.