[untitledDFA.bmp]