Solution
= Solution
A homomorphism $f:D\to D'$ is a map $f:Q\to Q'$ satisfying
$$
f(q_0)=q'_0,
\qquad f(\delta(q,a))=\delta'(f(q),a)
$$
for every state $q$ and symbol $a$, together with
$$
q\in F\quad\Longleftrightarrow\quad f(q)\in F'.
$$
= Solution
A homomorphism $f:D\to D'$ is a map $f:Q\to Q'$ satisfying
$$
f(q_0)=q'_0,
\qquad f(\delta(q,a))=\delta'(f(q),a)
$$
for every state $q$ and symbol $a$, together with
$$
q\in F\quad\Longleftrightarrow\quad f(q)\in F'.
$$