Training Linear Finite-State Machines