Algorithm
Quantum Teleportation
Problem: transfer an unknown quantum state using entanglement plus classical measurement results.
Expected output
This sample illustrates EPR preparation and the Bell-basis change. Its unconditional recovery gate does not implement classical feedback.
Core intuition
The state is not copied; the original is consumed while Bob's qubit is corrected.
Visual circuit
Prepare an EPR pair, entangle the message with Alice's qubit, then measure.
Significance
Teleportation is foundational for quantum networking and repeaters.
Limit
The DSL collects measurements after all gates and has no classical conditional syntax; this sample is not complete arbitrary-state teleportation.
Circuit DSL
# Teleportation (alice->bob)
qubits 3
# q0 = message, q1 = alice, q2 = bob
H 1
CX 1 2
CX 0 1
H 0
MEASURE 0
MEASURE 1
# Bob recovers (simplified):
CX 1 2
MEASURE 2
Challenge
What is required along with entanglement?
Full DSL specification →