de·cid·a·ble
C1technical결정할 수 있는; 특히 알고리즘으로 판정 가능한
adjective형용사
- 1
결정 가능한, 판단 가능한 — 증거, 논리, 권한 등에 의해 결정하거나 판단할 수 있는C1〔general〕
able to be decided, settled, or judged
The issue is decidable on the facts already before the court.
그 쟁점은 이미 법원에 제출된 사실만으로도 판단할 수 있다.
Some questions are not easily decidable without more evidence.
일부 문제는 더 많은 증거 없이는 쉽게 판단할 수 없다.
- 2
판정 가능한, 결정 가능한 — 수학·논리학·컴퓨터 과학에서, 어떤 문제나 명제가 알고리즘 또는 유효한 절차로 항상 판정될 수 있는C2〔computer science〕
in mathematics, logic, or computer science, able to be answered correctly in all cases by an algorithm or effective procedure
For finite automata, the equivalence problem is decidable.
유한 오토마타에서는 동치성 문제가 판정 가능하다.
A decidable theory has a procedure for testing every sentence.
판정 가능한 이론에는 모든 문장을 검사하는 절차가 있다.
뉘앙스 · 쓰임
decidable은 decide에서 온 말로, 단순히 ‘가능한’이라는 뜻의 possible보다 ‘결정·판정의 대상이 될 수 있다’는 의미가 강합니다. solvable은 ‘풀 수 있는’이라는 결과 중심의 말이고, decidable은 특히 참/거짓이나 예/아니요를 판정할 수 있는지에 초점이 있습니다.
일상 회화보다는 학술적·격식적 문맥에서 더 자주 쓰입니다. 컴퓨터 과학과 수리논리학에서는 전문 용어이므로 ‘decidable problem’, ‘decidable theory’처럼 쓰이며, 이때는 단순히 사람이 판단할 수 있다는 뜻이 아니라 알고리즘적으로 판정 가능하다는 뜻입니다.
유의어 뉘앙스 비교
- determinable
- 결과나 사실을 확인할 수 있다는 의미가 강하며, 더 일반적이고 격식 있는 표현입니다.
- settleable
- 논쟁이나 문제를 ‘해결·합의’할 수 있다는 의미가 더 강합니다.
- computable
- 계산할 수 있다는 의미가 더 넓으며, 반드시 예/아니요 판정 문제에만 쓰이지는 않습니다.
- recursive
- 계산 가능성 이론에서 역사적으로 쓰인 전문 용어로, 문맥에 따라 더 좁거나 오래된 느낌이 날 수 있습니다.
반의어
- undecidable
- 어떤 알고리즘도 모든 경우에 대해 올바른 판정을 내릴 수 없다는 전문 용어입니다.
- indeterminate
- 정보가 부족하거나 성질이 불명확해 확정되지 않았다는 뉘앙스가 강합니다.
- noncomputable
- 알고리즘으로 계산할 수 없다는 더 넓은 의미의 전문 용어입니다.
자주 쓰는 표현 · Collocations
adj+noun
- a decidable problem판정 가능한 문제
- a decidable question판단할 수 있는 질문
- a decidable theory판정 가능한 이론
adj+prep+noun
- decidable by an algorithm알고리즘으로 판정 가능한
adv+adj
- computably decidable계산 가능하게 판정 가능한
어원 · 암기 팁
[English]영어 decide에 ‘~할 수 있는’이라는 뜻의 접미사 -able이 붙어 만들어진 말입니다. decide는 라틴어 decidere에서 프랑스어를 거쳐 영어에 들어온 말로, 원래는 ‘잘라 내다, 결정을 내리다’와 관련이 있습니다.
decide(결정하다) + -able(~할 수 있는)
💡 decide는 ‘결정하다’, -able은 ‘할 수 있는’이므로 decidable은 ‘결정할 수 있는’으로 기억하면 됩니다.