下图所示为两个有限自动机 M1 和 M2（A 是初态、C 是终态），  （ ）  。

A、M1 和 M2 都是确定的有限自动机
B、M1 和 M2 都是不确定的有限自动机
C、M1 是确定的有限自动机，M2 是不确定的有限自动机
D、M1 是不确定的有限自动机，M2 是确定的有限自动机