> O autômato mais poderoso é a Máquina de Turing, a que equivale todo computador de uso geral.
It's the most powerful realizable automaton (although it's not even fully physically realizable because of the infinite tape), but people have studied far more powerful automata:
In these models the oracle is so called by analogy to prophetic oracles of antiquity, who were believed to obtain reliable information from an incomprehensible and supernatural source. :-)
It's the most powerful realizable automaton (although it's not even fully physically realizable because of the infinite tape), but people have studied far more powerful automata:
https://en.wikipedia.org/wiki/Turing_jump
https://en.wikipedia.org/wiki/Oracle_machine
https://en.wikipedia.org/wiki/Arithmetical_hierarchy
In these models the oracle is so called by analogy to prophetic oracles of antiquity, who were believed to obtain reliable information from an incomprehensible and supernatural source. :-)