When is a property decidable?
Proof that it is decidable whether a regular language is empty.
When is a word a member of a regular language? Give a proof why it is decidable.
Proof that subsets of languages are decidable.
Proof that equivalence of a language is decidable.