Acceptance for DFAs is Decidable (also, what is a "high-level" description?)

[@rawanfouda2291]

Thank you so much

[@EasyTheory]

You're welcome!

[@muhammed2174]

Thank you for the explanation. I wonder if A_DFA holds for infinite length input string

[@ashish5563]

Thank you very much