simp only [match_zero_EpsilonNFA]
α : Type
inst✝ : DecidableEq α
⊢ (match_zero_EpsilonNFA α).toAbstract = match_zero_AbstractEpsilonNFA α
α : Type
inst✝ : DecidableEq α
⊢ { symbol_arrow_list := [], epsilon_arrow_list := [], starting_state_list := [0],
        accepting_state_list := [] }.toAbstract =
    match_zero_AbstractEpsilonNFA α