Information | |
---|---|
has gloss | eng: In computational complexity theory, R is the class of decision problems solvable by a Turing machine, which is the set of all recursive languages. R is often identified with the class of effectively computable functions (the Church-Turing thesis). |
lexicalization | eng: r |
instance of | e/Complexity class |
Meaning | |
---|---|
Japanese | |
has gloss | jpn: 計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる(チャーチ=チューリングのテーゼ)。 |
lexicalization | jpn: R |
Korean | |
has gloss | kor: 계산 복잡도 이론에서 R은 튜링 기계로 풀 수 있는 결정 문제들의 복잡도 종류이다. 여기서 튜링 기계는 모든 재귀 언어의 집합이다. R은 효율적으로 계산할 수 있는 함수의 집합으로 보기도 한다. (처치-튜링 명제) |
lexicalization | kor: r |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint