Construct a PDA that matches all strings in the language over {a,b,c,d} such that each occurrence of the substring ab is eventually followed by a distinct occurrence of a substring cd (e.g.,abcdabcd and abababadcacdcdcdcd are acceptable, but cdab and ababdddcd are not).

Give a short description of the set of strings associated with each state of your PDA.