Let $AL{L}_{\text{D}\text{F}\text{A}}=\{\begin{array}{c}(\text{:}A\text{:})|A\end{array}$ is a DFA and $\{$:$L(A)={}^{**}\}.$ Show that $AL{L}_{\text{D}\text{F}\text{A}}$ is

decidable.