| Information | |
|---|---|
| lexicalization | eng: Co-RE |
| instance of | e/Complexity class |
| Meaning | |
|---|---|
| Korean | |
| has gloss | kor: co-RE는 RE에 들어 있는 언어의 보완 언어의 집합이다. 아니오 답변은 튜링 기계로 유한한 시간에 검증할 수 있지만, 예 답변은 검증하지 못할 수도 있다. |
| lexicalization | kor: Co-RE |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint