کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9652878 677143 2005 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Quantum automata and algebraic groups
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Quantum automata and algebraic groups
چکیده انگلیسی
We show that several problems which are known to be undecidable for probabilistic automata become decidable for quantum finite automata. Our main tool is an algebraic result of independent interest: we give an algorithm which, given a finite number of invertible matrices, computes the Zariski closure of the group generated by these matrices.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 39, Issues 3–4, March–April 2005, Pages 357-371
نویسندگان
, , ,