| German |
| has gloss | deu: In der Berechenbarkeitstheorie nennt man eine Funktion berechenbar, wenn es einen Algorithmus gibt, der die Funktion berechnet. Die Funktion, die ein Algorithmus berechnet, ist gegeben durch die Ausgabe, mit der der Algorithmus auf eine Eingabe reagiert. Der Definitionsbereich der Funktion ist die Menge der Eingaben, für die der Algorithmus überhaupt eine Ausgabe produziert. Wenn der Algorithmus nicht terminiert, dann liegt die Eingabe nicht im Definitionsbereich. |
| lexicalization | deu: Berechenbarkeit |
| French |
| lexicalization | fra: Fonction Calculable |
| Italian |
| has gloss | ita: Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità. Non è possibile dare una definizione formale delle funzioni calcolabili, ma esse corrispondono all'intuitivo concetto di "problema che può essere calcolato", e quindi di algoritmo. |
| lexicalization | ita: Funzione calcolabile |
| Japanese |
| has gloss | jpn: 計算可能関数（けいさんかのうかんすう、）は、再帰理論研究の基本的オブジェクトであり、チューリング計算可能関数（）とも呼ばれる。計算可能関数は、アルゴリズムの直観的な記述を正確にしたものと言える。計算可能関数は、チューリングマシンやレジスタマシンといった具体的な計算モデルを参照せずに、計算可能性を論じるのに使われる。しかし、その定義には特定の計算モデルを参照する必要がある。 |
| lexicalization | jpn: 計算可能関数 |
| Polish |
| has gloss | pol: Funkcje obliczalne są podstawowym obiektem badań teorii obliczalności. Zbiór funkcji obliczalnych jest równoważny zbiorowi funkcji obliczalnych w sensie Turinga oraz funkcji częściowo rekurencyjnych. Funkcje obliczalne stanowią analogon intuicyjnego pojęcia algorytmu. Tego pojęcia używa się do dyskusji obliczalności bez odniesienia do określonego modelu obliczalności takiego jak maszyna Turinga lub maszyna von Neumana. Jednak ich definicja musi mieć odniesienie do określonego modelu obliczalności. |
| lexicalization | pol: funkcja obliczalna |
| Portuguese |
| has gloss | por: Função computável é uma analogia formal da noção intuitiva de algoritmo, um objeto básico de estudo na teoria da computabilidade. Ela é usada para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing e a máquina registradora. Entretanto, o conjunto das funções computáveis é equivalente ao conjunto de funções computáveis numa máquina de Turing. |
| lexicalization | por: função computável |
| Russian |
| has gloss | rus: Вычислимые функции — это множество функций вида, f: N \to N,, которые могут быть реализованы на исполнителе машин Тьюринга. Задачу программирования функции f называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, является функция f вычислимой или нет. В качестве множества N обычно рассматривается множество B* — множество слов в двоичном алфавите B=\0,1\}, с оговоркой, что результатом вычисления может быть не только слово, но и специальное значение «неопределённость», соответствующее случаю, когда алгоритм «зависает». Таким образом, можно дать следующее определение N: |
| lexicalization | rus: Вычислимая функция |
| Castilian |
| has gloss | spa: Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y consisten en las funciones que pueden ser calculadas por una máquina de Turing. |
| lexicalization | spa: Funcion computable |
| lexicalization | spa: función computable |
| Chinese |
| has gloss | zho: 在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体的计算模型，如图灵机或寄存器机。但是它们的定义必须提及某种特殊的计算模型。 |
| lexicalization | zho: 可计算函数 |