本文研究了一元量子有限自动机的两种模型：一次测量和多次测量。证明了一次测量模型能够解决自由群的词问题，并探讨了多次测量自动机的语言接受性质。此外，介绍了新的构造技术，使得某些语言可以被量子有限自动机接受，并指出一维量子有限自动机的能力弱于正则语言。