RDF e RFN
Máquina de Turing
Autômatos a pilha não determinísticos
Autômatos a pilha determinísticos
———