Quantum finite automata: Advances on Bertoni's ideas

We first outline main steps and achievements along Bertoni's research path in quantum finite automata theory from the very basic definitions of the models of quantum finite automata throughout the investigation of their computational and descriptional power. Next, we choose to focus on Bertoni's studies on quantum finite automata descriptional complexity. In particular, we expand on a statistical framework for the synthesis of succinct quantum finite automata, discussing its adaptation to the case of multiperiodic events and languages. We then improve such a framework to obtain even more succinct quantum finite automata for some multiperiodic languages. Finally, we introduce some promise problems for multiperiodic inputs, showing that even on this class of problems the descriptional power of quantum finite automata greatly outperforms that of equivalent classical finite automata. We build small size Monte Carlo quantum finite automata for multiperiodic languages.We analyze the modular architecture of such Monte Carlo quantum finite automata.We solve promise problems on multiperiodic inputs by small quantum finite automata.