Consider the NFA-, M=(Q, , A, {D}, ), in which Q={A, B, C, D}, ={0, 1} and :

state:\input:

0

1

A

{B}

B

{C}

{A}

C

{B, D}

D

Mark the state transition table(s) of the deterministic FA that will recognize L(M)