Досліджено моделі скінченних 1-кубітовіх квантових автоматів у припущенні, що асоційовані унітарні оператори визначають обернення сфери Блоха навколо осі ординат, а вимірювання стану здійснюється лише в останній момент часу. Об'єктом дослідження є моделі МО-1QFA та k QFA (<$Ek~symbol У~2>), які здійснюють перетворення чистого початкового стану автомата, а також їх узагальнення L-QFA та L-k ()БА (<$Ek~symbol У~2>), які здійснюють перетворення змішаного початкового стану автомата (тобто скінченної множини можливих початкових станів, кожний з котрих може мати місце з заданою ймовірністю). Предметом дослідження є мови, які вказані моделі розпізнають або з заданою ймовірністю, або з заданою похибкою. Структуру цих мов охарактеризовано у термінах фактор-множин, які визначено на основі вказаної властивості унітарних операторів. Встановлено критерії, за яких вказані мови є скінченними множинами.

  Повний текст PDF - 494.678 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"