Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences | IEEE Conference Publication | IEEE Xplore