Abstract
We consider the model of one-way automata with quantum and classical states (QCFAs) introduced in [28]. We show, by a direct approach, that QCFAs with isolated cut-point accept regular languages only, thus characterizing their computational power.Concerning descriptional power, we quickly overview a size lower bound for QCFAs accepting regular languages, and address its optimality. Then, we explicitly build QCFAs accepting the word quotients and inverse homomorphic images of languages accepted by given QCFAs with isolated cut-point, maintaining the same cut-point, isolation, and only polynomially increasing the size.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have