== Definition == 

 Two sections above concern the definition in the article: 
 * Talk:Oracle_machine#Rewrote_definition_of_oracle_machine 
 * Talk:Oracle_machine#Wrong_definition 
 The definition that was here (I didn't write it) was correct, but useless for computational complexity. 

 I have completely rewritten the section to try to give a more complexity-appropriate definition first, and then give the alternatives later. It took some work to find a reference for a definition that was general enough to cover function problems as well as decision problems, and which could handle multiple symbols on the work tape. But I found at least "some" reference for each definition, which should help with any verifiability concerns.  

 Please feel free to fix any errors I made or improve the text further. — Carl ( ·