German |
has gloss | deu: Eine Orakel-Turingmaschine ist eine Turingmaschine, die mit einem Orakel verbunden ist. Bildhaft kann man sich ein Orakel als eine black box vorstellen, die von der Turingmaschine befragt werden kann und ein Problem in einem Schritt löst. Der Begriff der Orakel-Turingmaschine dient in der Theoretischen Informatik dazu, Hierarchien von Berechenbarkeiten und Komplexitäten zu definieren und deren Eigenschaften zu studieren. |
lexicalization | deu: Orakel-Turingmaschine |
lexicalization | deu: Orakelturingmaschine |
Finnish |
has gloss | fin: Oraakkelikone on laskennan vaativuusteoriassa abstrakti kone, joka pystyy ratkaisemaan tiettyyn vaativuusluokkaan kuuluvia ongelmia. Oraakkelikonetta käytetään tutkittaessa eri vaativuusluokkien, kuten P ja NP, suhdetta. |
lexicalization | fin: Oraakkelikone |
French |
has gloss | fra: En théorie de la complexité ou de la calculabilité, les machines de Turing avec oracle sont une variante des machines de Turing. On peut les voir comme une machine de Turing disposant dune boîte noire, loracle, capable de résoudre un problème de décision en une seule opération. Ce problème peut être de n'importe quelle complexité. |
lexicalization | fra: oracle |
Hebrew |
has gloss | heb: בתורת החישוביות ובתורת הסיבוכיות, אורקל היא מכונה מופשטת שבאמצעותה נחקרות בעיות הכרעה. ניתן לדמות אותה לקופסה שחורה, שמחוברת למכונת טיורינג, ושיש לה יכולת להכריע בעיה מסוימת בצעד חישוב יחיד. הבעיות עשויות להיות מכל מחלקת סיבוכיות, וניתן להשתמש אף בבעיות שאינן ניתנות לחישוב כלל, כגון בעיית העצירה. |
lexicalization | heb: אורקל |
Japanese |
has gloss | jpn: 神託機械または預言機械()は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリングマシンにオラクル(oracle)と呼ばれるブラックボックスが付加されたものとして具体化され、そのブラックボックスは特定の決定問題を1ステップで決定可能である。その問題は任意の複雑性クラスに属する。チューリングマシンの停止問題のような決定不能な問題にも神託機械を想定することができる。 |
lexicalization | jpn: 神託機械 |
Korean |
has gloss | kor: 신탁 기계(神託機械, oracle machine)는 판정 문제를 연구하는 데 사용하는 추상 기계로, 일반적인 튜링 기계에 신탁(神託, oracle)이라는 블랙박스를 붙여놓은 것이라고 생각할 수 있다. 이때 신탁은 어떤 판정문제를 단 한번의 동작으로 풀 수 있는 장치이다. 신탁이 풀 수 있는 문제는 모든 복잡도 종류에 해당하기 때문에, 심지어 정지 문제 같은 컴퓨터로 풀 수 없는 문제도 풀 수 있다. |
lexicalization | kor: 신탁 기계 |
lexicalization | kor: 신탁기계 |
Castilian |
has gloss | spa: La máquina oracle en teoría tiene como finalidad la de estudiar la decisión de problemas. Puede verse como una máquina de Turing con una caja negra, llamada oracle. La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. |
lexicalization | spa: Maquina oracle |
lexicalization | spa: Máquina oracle |
Serbian |
has gloss | srp: У теорији комплексности и теорији израчунљивости, пророчка машина је апстрактна машина која се користи за проучавање проблема одлучивања. Ова машина може да се замисли као Тјурингова машина са црном кутијом који се назива пророчиште, који је у стању да реши одређене проблеме у само једном кораку. Проблем може бити било које класе комплексности. Чак и неодлучиви проблеми, попут халтинг проблема долазе у обзир. |
lexicalization | srp: пророчка машина |
Turkish |
has gloss | tur: Kahinli Turing makinesi, klasik Turing makinesi ile aynı temelleri kullanarak çalışır: |
lexicalization | tur: Kahinli turing makinesi |