Per abordar la qüestió sobre els autòmats pushdown no deterministes (PDA) i l'aparent paradoxa de la superposició d'estats amb una sola pila, és essencial tenir en compte els principis fonamentals del no determinisme i la mecànica operativa dels PDA. Un autòmat pushdown és un model computacional que amplia les capacitats dels autòmats finits incorporant un emmagatzematge auxiliar.