one-way finite automata with quantum and classical states

ISCAS OpenIR

	one-way finite automata with quantum and classical states
	Zheng Shenggen; Qiu Daowen; Li Lvzhou; Gruska Jozef
	2012
Source	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN	0302-9743
Volume	7300 LNAI Pages:273-290
English Abstract	In this paper, we introduce and explore a new model of quantum finite automata (QFA). Namely, one-way finite automata with quantum and classical states (1QCFA), a one way version of two-way finite automata with quantum and classical states (2QCFA) introduced by Ambainis and Watrous in 2002 [3]. First, we prove that coin-tossing one-way probabilistic finite automata (coin-tossing 1PFA) [23] and one-way quantum finite automata with control language (1QFACL) [6] as well as several other models of QFA, can be simulated by 1QCFA. Afterwards, we explore several closure properties for the family of languages accepted by 1QCFA. Finally, the state complexity of 1QCFA is explored and the main succinctness result is derived. Namely, for any prime m and any Ε 1∈>∈0, there exists a language L m that cannot be recognized by any measure-many one-way quantum finite automata (MM-1QFA) [12] with bounded error, and any 1PFA recognizing it has at last m states, but L m can be recognized by a 1QCFA for any error bound Ε∈>∈0 with O(logm) quantum states and 12 classical states. © 2012 Springer-Verlag Berlin Heidelberg.; In this paper, we introduce and explore a new model of quantum finite automata (QFA). Namely, one-way finite automata with quantum and classical states (1QCFA), a one way version of two-way finite automata with quantum and classical states (2QCFA) introduced by Ambainis and Watrous in 2002 [3]. First, we prove that coin-tossing one-way probabilistic finite automata (coin-tossing 1PFA) [23] and one-way quantum finite automata with control language (1QFACL) [6] as well as several other models of QFA, can be simulated by 1QCFA. Afterwards, we explore several closure properties for the family of languages accepted by 1QCFA. Finally, the state complexity of 1QCFA is explored and the main succinctness result is derived. Namely, for any prime m and any Ε 1∈>∈0, there exists a language L m that cannot be recognized by any measure-many one-way quantum finite automata (MM-1QFA) [12] with bounded error, and any 1PFA recognizing it has at last m states, but L m can be recognized by a 1QCFA for any error bound Ε∈>∈0 with O(logm) quantum states and 12 classical states. © 2012 Springer-Verlag Berlin Heidelberg.
Indexed Type	EI
Keyword	Automata Theory Computer Simulation
Department	(1) Department of Computer Science Sun Yat-sen University Guangzhou 510006 China; (2) Faculty of Informatics Masaryk University Brno 602 00 Czech Republic; (3) SQIG-Instituto de Telecomunicações Departamento de Matemática Instituto Superior Técnico Av. Rovisco Pais 1049-001 Lisbon Portugal; (4) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China
Language	英语
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/15022
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	Zheng Shenggen,Qiu Daowen,Li Lvzhou,et al. one-way finite automata with quantum and classical states[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2012,7300 LNAI:273-290.
APA	Zheng Shenggen,Qiu Daowen,Li Lvzhou,&Gruska Jozef.(2012).one-way finite automata with quantum and classical states.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),7300 LNAI,273-290.
MLA	Zheng Shenggen,et al."one-way finite automata with quantum and classical states".Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7300 LNAI(2012):273-290.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库