اتوماتای متناهی کوانتومی
From Wikipedia, the free encyclopedia
در محاسبات کوانتومی، اتوماتای متناهی کوانتومی (quantum finite automata) یا (QFA) یا ماشینهای حالت کوانتومی (quantum state machines)، حالتی کوانتومی از اتوماتای احتمالاتی یا یک فرایند تصمیم مارکوف میباشد. انواع مختلفی از اتوماتها همانند measure-once و measure-many تعریف شدهاند. در واقع اتوماتای متناهی کوانتومی نمونه خاصی از اتوماتای متناهی هندسی و اتوماتای متناهی توپولوژیکی میباشد.
اتوماتا با پذیرش یک رشته به طول متناهی از ها از یک الفبای ورودی و اختصاص احتمال به هر رشته کار خواهد کرد. این احتمال بیانگر قرارگیری احتمال اتوماتون در حالت پذیرش میباشد، اینکه رشته پذیرفته میشود یا خیر.
زبانهای پذیرفته شده QFA نه زبانهای معمول اتوماتای متناهی قطعی هست و نه زبان تصادفی اتوماتای متناهی احتمالاتی. در واقع مطالعه زبانهای کوانتوم همواره بخش مناسبی برای تحقیقات علمی بودهاست.