Oracle machines are theoretical models of computation that extend Turing machines by incorporating an 'oracle' capable of solving specific decision problems instantaneously. They are used to explore the limits of computability and complexity, particularly in the context of problems that are undecidable by standard Turing machines.