finite-automata - L(M) = {a} か L(M) =/= {a} かを決定するアルゴリズム

Question

私は NFA と DFA について学び始め、DFA の Berkley PDF の 1 つでこの質問をオンラインで見つけましたが、質問には解決策が添付されていませんでした。

{a, b}アルファベットを介して DFA M を入力として受け取り、L(M) = {a}それともL(M) =/= {a}?

ガイダンスをいただければ幸いです。