BE1
BFA
Be1 NFA
V
BFA