Fixed spacing in automatas

RE -> FNDA