A specific version of PDP on automatic relations, that captures essential concepts in synthesis [1]}, [2]}, [3]}, is when we require the solution to consist of strategies. For that, we define Strategic automatic PDP, or Strategic PDP in short, as PDP on automatic relations in which the required relations \(R_1\)  and \(R_2\)  are functions (defined in Section ) that can be represented by finite-state transducers \(T_1\)  and \(T_2\) , respectively.
