English Dictionary

Oracle machines are often used in theoretical computer science to study decision problems beyond standard Turing computability.

オラクルにアクセスできる機械は、理論計算機科学で標準的なチューリング計算を超える判定問題を研究するためにしばしば用いられます。