항목
-
Countable set 가산 집합, 可算集合In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers. A countable set is either a finite set or a countably infinite set. Whether finite or infinite, the elements of a countable set can always be counted one at a time...출처 영어 위키백과
-
가산집합이란? 可算集合, countable set부분집합 원소들과 일대일 대응이 되는 집합을 말한다. “A와 B가 일대일 대응이다”는 “A와 B는 전단사다”라고 말하기도 한다. 집합론에서 자연수와 정수의 부분집합들은 모두 가산집합이므로 모든 유한집합은 가산집합으로 간주한다. 그러나 실수, 직선 위의 많은 점, 복소수 따위의 집합들은 가산집합이 아니다.
-
귀납적 가산집합 recursively enumerable set자연수의 유한집합이거나, 1대 1의 귀납적 함수의 치역으로 되어 있는 집합을, 귀납적 가산잡합이라 한다. 이것은, 모든 원소를 나열해가는 알고리즘이 존재하는 집합이라는 직관적인 개념을 수학적으로 정의한 개념이다. 귀납적 부분함수의 정의역이 되어 있는 집합이라 정의하더라도 똑같은 개념이 얻어진다.
- 분야 :
- 소프트웨어 기초
-
귀납적 가산 집합 歸納的可算集合, recursively enum..그 집합에 속하는 요소(기호열)를 수리(受理)하는 튜링 기계가 존재할 수 있는 집합. 즉, 그 집합에 속하는 입력 기호열에 대해서는 반드시 정지(停止)하나, 그 집합에 속하지 않는 입력 기호열에 대해서는 반드시 정지한다고 할 수 없는 튜링 기계로 수리되는 기호열의 집합이다.
-
-
순환적 가산언어 recursively enumerable language구(句)구조 언어의 하나. 문맥 의존문법에 대하여 빈 종단기호열을 생성하는 A→e라고 하는 형을 하는 규칙의 도입을 허락하면, 순환적 가산집합을 정의하는 능력을 갖는 다른 문법이 된다. 정규문법, 문맥자유문법, 문맥의존문법과 대비하여 무제한 문법이라 하는 경우가 있으며, 이 문법에 의해 생성되는 언어가 순환...
- 분야 :
- 프로그램 언어
-
벡터 가산 시스템 vector addition system가산 시스템 V=(b0, B)를 b0=M0, B={b1, b2, …, bm}, bi=(트랜지션 ti가 발화했을 때에 생기는 마킹의 변화)라고 정하면, 페트리네트와 벡터 가산 시스템을 동일의 가도달 집합을 가지는 페트리네트로 변환할 수 있다. 이 의미로, 벡터 가산 시스템과(자기 루프가 없는) 페트리네트는 등가이며, 페트리네트의 성질을...
- 분야 :
- 정보기초
