2
Cálculo gráfico para circuitos cuánticos
Hasta ahora he leído un poco sobre zx-calculus y y-calculus . De la computación reversible : El cálculo zx es un lenguaje gráfico para describir sistemas cuánticos. El cálculo zx es una teoría equitativa, basada en la reescritura de los diagramas que comprenden su sintaxis. La reescritura se puede automatizar …