La determinabilitat és un concepte fonamental en el camp de la teoria de la complexitat computacional, concretament en el context dels autòmats lineals acotats (LBA). Per entendre la capacitat de decidir, és important tenir una comprensió clara dels LBA i les seves capacitats. Un autòmat lineal acotat és un model computacional que funciona en una cinta d'entrada, és a dir