Hay muchos documentos que presentan modelos de computación cuántica. Las definiciones son paralelas a las definiciones clásicas de autómatas de estados finitos, autómatas de pila, gramáticas libres de contexto, etc. Las definiciones de modelos de computación clásicos definen los lenguajes de manera precisa. Podemos afirmar que una cadena pertenece o no pertenece a un lenguaje sin margen de error. Las definiciones cuánticas no poseen esta certeza. Sacrificar la certeza y adoptar una definición cuántica de un modelo de computación no parece proporcionar ningún poder concreto al modelo. Por lo tanto, el camino de este documento es comenzar desde la definición clásica y terminar en un circuito cuántico. En este documento, partimos de un autómata de pila determinista (DPDA). Presentamos circuitos para la transición de estados y operaciones de pila. Los circuitos presentados pueden ser vistos como algoritmos independientes. Como ejemplo, el enfoque utilizado para construir el circuito de transición de estados puede ser utilizado para construir el circuito de una función presentada como una matriz booleana.