Исследованы унарные вероятностные и квантовые конечные автоматы (PFA и QFA), решающие  проблемы отделимости. Доказано, что  QFA, распознающие с ограниченной ошибкой (bounded-error QFA), являются более мощными, чем PFA и способны отделять друг от друга языки, не являющиеся регулярными. Также показано, что вычислительная мощь  как Las-Vegas QFA, так  и bounded-error PFA эквивалентна вычислительной мощи детерминированных автоматов. Исследована модель ветвящихся программ (BP - branching programs), вычисляющих полностью и частично определенные функции.  Показано, что  для частично определенных  функций вычислительные возможности квантовых BP превосходят вычислительные возможности классических BP и преимущество в сложности может превышать  тот максимальный предел, который возможен при рассмотрении всюду определенных функций.