16 처지: 무한, 문자, 문자열, 계산 이론, 부분집합, 교집합, 튜링 기계, 재귀 열거 집합, 클레이니 스타, 폐포 (수학), 정규 언어, 촘스키 위계, 수리논리학, 형식 언어, 합집합, RE (복잡도).
무한
무한대 기호 ∞를 여러 가지 글씨체로 쓴 것. 무한(無限, ∞)이란 개념은 수학, 철학을 비롯한 여러 분야에서 서로 다른 의미로 쓰이며, 대체로 끝이 없거나 한없이 커지는 상태를 말.
새로운!!: 재귀 열거 언어와 무한 · 더보기 »
문자
'''오늘날 세계에서 쓰이는 문자 계통''' 아부기다: 데바나가리 문자, 그으즈 문자 기타 아브자드: 아라비아 문자, 히브리 문자, 기타 음소 문자: 한글, 라틴 문자, 키릴 문자, 기타 음절 문자: 가나 문자 표어 문자: 한자 다양한 문자들. 문자(文字)는 언어를 기록하기 위한 상징 체계이.
새로운!!: 재귀 열거 언어와 문자 · 더보기 »
문자열
밍과 형식 언어 이론에서 문자열(文字列)은 기호의 순차 수열을 말. 스트링(string)이.
새로운!!: 재귀 열거 언어와 문자열 · 더보기 »
계산 이론
산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를.
새로운!!: 재귀 열거 언어와 계산 이론 · 더보기 »
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
새로운!!: 재귀 열거 언어와 부분집합 · 더보기 »
교집합
집합 ''A''와 ''B''의 교집합을 표현한 벤 다이어그램. 집합론에서, 두 집합 A와 B의 교집합(交集合) A ∩ B는 그 두 집합이 공통으로 포함하는 원소로 이루어진 집합이.
새로운!!: 재귀 열거 언어와 교집합 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 재귀 열거 언어와 튜링 기계 · 더보기 »
재귀 열거 집합
산 이론에서, 재귀 열거 집합(Recursively enumberable set, 귀납 가산 집합), 열거 가능 집합(Enumerable set), 계산 가능 집합(computable set), 준결정성 집합(semidecidable set), 튜링 인식 가능 집합(Turing-recognizable set)은 다음 조건을 만족하는 집합 S를 말.
새로운!!: 재귀 열거 언어와 재귀 열거 집합 · 더보기 »
클레이니 스타
이니 스타(Kleene Star)는 문자열이나 문자의 집합에 쓰이는 단항 연산으로, 0개 이상의 임의 원소의 연쇄를 뜻. 스티븐 클레이니가 도입하였으며, 오토마타 이론과 정규 표현식, 형식 문법에서 활용.
새로운!!: 재귀 열거 언어와 클레이니 스타 · 더보기 »
폐포 (수학)
수학에서, 어떤 집합의 그 위의 관계에 대한 닫힘()은 그 집합의 원소와 관계가 있는 원소가 항상 그 집합에 속한다는 성질이.
새로운!!: 재귀 열거 언어와 폐포 (수학) · 더보기 »
정규 언어
스키 위계 클래스의 정규 언어 정규 언어(regular language), 합리적 언어(rational language)는 이론 전산학, 형식 언어 이론에서 정규 표현식을 이용하여 표현할 수 있는 형식 언어이.
새로운!!: 재귀 열거 언어와 정규 언어 · 더보기 »
촘스키 위계
스키 위계(Chomsky hierarchy)는 형식 언어를 생성하는 형식 문법의 부류들 사이의 위계를 말. 노엄 촘스키가 1956년에 제시하였.
새로운!!: 재귀 열거 언어와 촘스키 위계 · 더보기 »
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 재귀 열거 언어와 수리논리학 · 더보기 »
형식 언어
형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말. 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있.
새로운!!: 재귀 열거 언어와 형식 언어 · 더보기 »
합집합
''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.
새로운!!: 재귀 열거 언어와 합집합 · 더보기 »
RE (복잡도)
RE(순환 열거)는 '예' 답변을 튜링 기계로 유한한 시간에 검증할 수 있는 판정 문제의 집합이.
새로운!!: 재귀 열거 언어와 RE (복잡도) · 더보기 »