Podemos dar uma pequena revisada vendo o verbete da wikipedia.
A primeira coisa que temos que identificar é que estamos trabalhando com um autômato finito não-determinístico. Isso pode ser verificado pela transição vazia do estado inicial para o terminal. Podemos então verificar cada palavra das alternativas e checar se a máquina aceita a cadeia, ou seja, se o último estado atingido é terminal.
Para facilitar e sermos mais didáticos, faremos um mapa dos estados sendo:
-> (1) --- a ---> (2) --- a ---> ((3))
\ /\ | /\
e b | | a a
\ | \/ /
------> ((4)) --------
Cadeia 'aaa': (1) -> (2) -> (4) -> ((3))
Cadeia 'ababa': Não aceita
Cadeia vazia: (1) -> ((4))
Cadeia 'aba': Não aceita
Cadeia 'baba': (1) -> (4) -> (2) -> (4) -> (2) -> ((4))
Logo, analisando as alternativas, a resposta correta é D, já que a cadeia 'aba' não é aceita pela máquina e o enunciado pede para assinalar a afirmativa falsa.
Abraço!
