Text this: Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata