 Solution

States $i,j\in S$ communicate when each is accessible from the other: there exist nonnegative integers $m,n$ such that $P^m(i,j)>0$ and $P^n(j,i)>0$. A communicating class is an equivalence class for this relation.