Cálculo gráfico para circuitos quânticos
Até agora, li um pouco sobre zx-calculus e y-calculus . Da computação reversível : O cálculo zx é uma linguagem gráfica para descrever sistemas quânticos. O cálculo zx é uma teoria equacional, baseada na reescrita dos diagramas que compõem sua sintaxe. A reescrita pode ser automatizada...