Search Results for author: Junyi Liu

Found 2 papers, 1 papers with code

Equivalence Checking of Quantum Finite-State Machines

1 code implementation8 Jan 2019 Qisheng Wang, Junyi Liu, Mingsheng Ying

In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them.

Formal Languages and Automata Theory Quantum Physics

Cannot find the paper you are looking for? You can Submit a new open access paper.