Comparison of various error-detecting and error-correcting encodings of reversible automata built from irreversible state tables using EPOE circuits with EXOR lattices

This paper presents a new approach to synthesize reversible (quantum permutative) automata from standard state tables. It uses various variants of error-detecting and error-correcting encodings. Next, a combination of recently introduced “EPOE circuits” as well as EXOR Lattices are used for synthesis. The goal is to compare the costs of various encodings and synthesis methods for the same machine, especially strongly unspecified one.