Классически, есть 3 популярных способа думать о вычислениях: машина Тьюринга, схемы и лямбда-исчисление (я использую это как ловушку для большинства функциональных представлений). Все 3 были плодотворными способами думать о различных типах проблем, и разные области используют разные формулировки по этой причине.
Однако когда я работаю с квантовыми вычислениями, я всегда думаю только о схемотехнической модели. Первоначально КК определялся в терминах квантовых машин Тьюринга, но, насколько я понимаю, это определение (хотя и эквивалентное квантовым цепям, если обе они сформулированы тщательно) не было столь же плодотворным. Третья формулировка (с точки зрения лямбда-исчисления или аналогичных функциональных параметров) мне совершенно незнакома. Отсюда и мои вопросы:
Каковы полезные определения квантового лямбда-исчисления (или других функциональных парадигм)?
Какие подполя QIP получают более глубокое понимание от использования этой формулировки вместо схемной модели?
Заметки
Мне известно, что я игнорирую многие другие популярные формализмы, такие как клеточные автоматы, RAM-модели и т. Д. Я исключаю их главным образом потому, что у меня нет опыта мышления в терминах этих моделей классически, не говоря уже о квантовом .
Мне также известно, что в квантовой обстановке существуют популярные альтернативы, такие как основанные на измерениях, топологические и адиабатические. Я не обсуждаю их, потому что я не знаком с классическими аналогами.