@inproceedings{baf91abf775e430a8dcbeea499efc443,
title = "Analysis of reversible and quantum finite state machines using homing, synchronizing and distinguishing input sequences",
abstract = "We present an analysis of the Reversible and Quantum Finite State Machines (QFSM) realized as Quantum Circuits using the three well known sequences applied in the analysis of the classical Finite State Machines (FSM). The synchronizing, the homing and the distinguishing sequences are applied to both strictly Reversible FSM (RFSM) and QFSM in order to determine the power of these new techniques in the above mentioned new models of sequential devices. In particular, care is taken to demonstrate these classical techniques on the RFSM and the one-way QFSMs. We show certain properties of the RFSM/QFSM with respect to these sequences and we show what are the restrictions and advantages.",
keywords = "Design For Test, Quantum FSM, Reversible FSM",
author = "Martin Lukac and Michitaka Kameyama and Marek Perkowski and Pawel Kerntopf",
year = "2013",
doi = "10.1109/ISMVL.2013.15",
language = "English",
isbn = "9780769549767",
series = "Proceedings of The International Symposium on Multiple-Valued Logic",
pages = "322--327",
booktitle = "Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013",
note = "2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 ; Conference date: 22-05-2013 Through 24-05-2013",
}