Information | |
---|---|
has gloss | eng: PR is the complexity class of all primitive recursive functions – or, equivalently, the set of all formal languages that can be decided by such a function. This includes addition, multiplication, exponentiation, tetration, etc. |
lexicalization | eng: PR |
instance of | e/Complexity class |
Meaning | |
---|---|
Japanese | |
has gloss | jpn: 計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。 |
lexicalization | jpn: PR |
Korean | |
has gloss | kor: PR은 모든 단순한 자기 참조 함수를 모은 복잡도 종류이다. 동치인 정의로, 단순한 자기 참조 함수로 판정할 수 있는 모든 형식 언어의 집합이라고 할 수도 있다. 단순한 자기 참조 함수에는 덧셈, 곱셈, 거듭제곱, 반복된 거듭제곱 따위가 들어 있다. |
lexicalization | kor: PR |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint