Minimal Characterizing Experiments for Finite Memory AutomataJ.E. Mezei1961IRE Transactions on Electronic Computers