Les ensembles de tous les automates finis et des automates Pushdown sont-ils comptables?

Question

Donc, étant donné que l'ensemble de toutes les machines Turing est dénombrablement infinie, pouvons-nous également dire que l'ensemble de toutes les machines FA (DFA / NFA) ou l'ensemble de toutes les machines PDA (DPDA / NPDA) sont incorporelles, étant donné que nous pouvons les construire tous avec une machine Turing?