Fill in the blank with the most appropriate option.Statement: In theory of computation, abstract machines are often used in ___________ regarding computability or to analyze the complexity of an algorithm.

• A. thought experiments
• B. principle
• C. hypothesis
• D. all of the mentioned