Ukrainian

Summary:Розглянуто структуру множин мов, що розпізнаються квантовими скінченними автоматами, охарактеризована у термінах фактор-множин, які визначаються відображеннями вхідної напівгрупи у множину асоційованих унітарних операторів. Досліджено випадок, коли унітарні оператори попарно комутують. Охарактеризовано множини мов, що розпізнаються 1–кубітовими моделями квантових скінченних[⇒] автоматів з єдиним вимірюванням у заключний момент, у припущенні, що асоційовані унітарні оператори є обертаннями сфери Блоха відносно фіксованої координатної вісі. Досліджено структуру множини усіх скінченно-породжених комутативних напівгруп унітарних операторів, що діють у двовимірному комплексному просторі. Reading audience:Для аспірантів, фахівців у галузі квантових обчислень, теорії квантових скінченних автоматів.