Engineering Commons^™

Using Homing, Synchronizing And Distinguishing Input Sequences For The Analysis Of Reversible Finite State Machines, Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf

Electrical and Computer Engineering Faculty Publications and Presentations

A digital device is called reversible if it realizes a reversible mapping, i.e., the one for which there exist a unique inverse. The field of reversible computing is devoted to studying all aspects of using and designing reversible devices. During last 15 years this field has been developing very intensively due to its applications in quantum computing, nanotechnology and reducing power consumption of digital devices. We present an analysis of the Reversible Finite State Machines (RFSM) with respect to three well known sequences used in the testability analysis of the classical Finite State Machines (FSM). The homing, distinguishing and synchronizing …