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...