Google Play 스토어에서 Unionpedia 앱을 복원하기 위해 작업 중입니다
나가는들어오는
🌟더 나은 탐색을 위해 디자인을 단순화했습니다!
Instagram Facebook X LinkedIn

재귀 열거 집합

색인 재귀 열거 집합

산 이론에서, 재귀 열거 집합(Recursively enumberable set, 귀납 가산 집합), 열거 가능 집합(Enumerable set), 계산 가능 집합(computable set), 준결정성 집합(semidecidable set), 튜링 인식 가능 집합(Turing-recognizable set)은 다음 조건을 만족하는 집합 S를 말.

목차

  1. 7 처지: 가산 집합, 결정 문제, 계산 복잡도 이론, 계산 이론, 재귀 열거 언어, 알고리즘, RE (복잡도).

가산 집합

산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.

보다 재귀 열거 집합와 가산 집합

결정 문제

산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..

보다 재귀 열거 집합와 결정 문제

계산 복잡도 이론

산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.

보다 재귀 열거 집합와 계산 복잡도 이론

계산 이론

산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를.

보다 재귀 열거 집합와 계산 이론

재귀 열거 언어

재귀 열거 언어(귀납적 가산 언어), 부분 결정성 언어 또는 튜링 수리성 언어는 계산 이론과 수리논리학에서 다루는 형식 언어의 종류로, 문자열의 집합의 재귀 열거인 부분집합이.

보다 재귀 열거 집합와 재귀 열거 언어

알고리즘

알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.

보다 재귀 열거 집합와 알고리즘

RE (복잡도)

RE(순환 열거)는 '예' 답변을 튜링 기계로 유한한 시간에 검증할 수 있는 판정 문제의 집합이.

보다 재귀 열거 집합와 RE (복잡도)

또한 열거 가능성, 열거 집합로 알려져 있다.