심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
다운로드
브라우저보다 빠른!
 

클레이니 스타

색인 클레이니 스타

이니 스타(Kleene Star)는 문자열이나 문자의 집합에 쓰이는 단항 연산으로, 0개 이상의 임의 원소의 연쇄를 뜻. 스티븐 클레이니가 도입하였으며, 오토마타 이론과 정규 표현식, 형식 문법에서 활용.

21 처지: EXPSPACE, 멱등법칙, 모노이드, 반군, 괴델의 불완전성 정리, 국소화 (범주론), 스티븐 클레이니, 자유 대상, 자유군, 재귀 열거 언어, 정렬 원순서 집합, 중심화 부분 모노이드, 컴퓨팅 문서 색인, 컴퓨터 과학자 목록, 쿠라토프스키 모노이드, 투에-모스 수열, 수학 기호, 오토마타 이론, 형식 언어, 사전식 순서, 환 (수학).

EXPSPACE

산 복잡도 이론에서 EXPSPACE는 결정론적 튜링 기계가 \colorBlueO(2^p(n)) 공간을 써서 풀 수 있는 판정 문제의 집합이.

새로운!!: 클레이니 스타와 EXPSPACE · 더보기 »

멱등법칙

멱등법칙(冪等法則) 또는 멱등성(冪等性)은 수학이나 전산학에서 연산의 한 성질을 나타내는 것으로, 연산을 여러 번 적용하더라도 결과가 달라지지 않는 성질을 의미.

새로운!!: 클레이니 스타와 멱등법칙 · 더보기 »

모노이드

상대수학에서, 모노이드()는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이.

새로운!!: 클레이니 스타와 모노이드 · 더보기 »

반군

상대수학에서, 반군(半群)은 결합 법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이.

새로운!!: 클레이니 스타와 반군 · 더보기 »

괴델의 불완전성 정리

수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.

새로운!!: 클레이니 스타와 괴델의 불완전성 정리 · 더보기 »

국소화 (범주론)

범주론에서, 국소화(局所化)는 범주의 일부 사상들을 동형 사상으로 만드는 과정이.

새로운!!: 클레이니 스타와 국소화 (범주론) · 더보기 »

스티븐 클레이니

스티븐 콜 클레이니(1909~1994)는 미국의 수학자이.

새로운!!: 클레이니 스타와 스티븐 클레이니 · 더보기 »

자유 대상

범주론과 추상대수학에서, 자유 대상(自由對象)은 망각 함자의 왼쪽 수반 함자의 상이.

새로운!!: 클레이니 스타와 자유 대상 · 더보기 »

자유군

에서, 자유군(自由群)은 그 아무런 관계를 갖지 않는 표시를 가질 수 있는 군이.

새로운!!: 클레이니 스타와 자유군 · 더보기 »

재귀 열거 언어

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

새로운!!: 클레이니 스타와 재귀 열거 언어 · 더보기 »

정렬 원순서 집합

순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.

새로운!!: 클레이니 스타와 정렬 원순서 집합 · 더보기 »

중심화 부분 모노이드

상대수학에서, 중심화 부분 모노이드(中心化部分monoid)는 어떤 모노이드의 부분 집합과 가환하는 모든 원소로 구성된 부분 모노이드이.

새로운!!: 클레이니 스타와 중심화 부분 모노이드 · 더보기 »

컴퓨팅 문서 색인

항목: 프로그래머의 목록, 컴퓨팅 인물의 목록, 컴퓨터 과학자의 목록, 기본 컴퓨터 과학 주제의 목록, 알고리즘 및 데이터 구조 관련 용어 목록.

새로운!!: 클레이니 스타와 컴퓨팅 문서 색인 · 더보기 »

컴퓨터 과학자 목록

이 문서는 컴퓨터 과학자의 목록으로서, 컴퓨터 과학 분야에서 활동한 연구가와 저술가의 목록이.

새로운!!: 클레이니 스타와 컴퓨터 과학자 목록 · 더보기 »

쿠라토프스키 모노이드

일반위상수학에서, 쿠라토프스키 모노이드()는 주어진 위상 공간의 부분 집합 위의 폐포 · 내부 · 여집합 연산들로 구성된 모노이드이.

새로운!!: 클레이니 스타와 쿠라토프스키 모노이드 · 더보기 »

투에-모스 수열

이 그래픽은 투에 모스 수열의 반복적이고 상보적인 생성을 나타낸다. 수학에서, 투에-모스 수열(), 또는 프로헷-투에-모스 수열()은 0에서 시작해서 앞의 수열의 불 보수를 덧붙여서 얻어지는 이진 수열 (0과 1의 무한수열)이.

새로운!!: 클레이니 스타와 투에-모스 수열 · 더보기 »

수학 기호

수학 기호는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용.

새로운!!: 클레이니 스타와 수학 기호 · 더보기 »

오토마타 이론

결정적 유한 오토마타의 예. S1, S2는 상태이고, 1과 0은 기계가 입력으로 받아들이는 문자이다. 이 기계는 1과 0으로 이루어진 모든 가능한 문자열 중 0이 짝수 개인 것을 인지하고, 그렇지 않은 것을 버린다. 오토마타 이론()은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이.

새로운!!: 클레이니 스타와 오토마타 이론 · 더보기 »

형식 언어

형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말. 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있.

새로운!!: 클레이니 스타와 형식 언어 · 더보기 »

사전식 순서

순서론에서, 사전식 순서(辭典式順序)는 여러 개의 부분 순서 집합들의 곱집합 위에 존재하는 부분순서이.

새로운!!: 클레이니 스타와 사전식 순서 · 더보기 »

환 (수학)

상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.

새로운!!: 클레이니 스타와 환 (수학) · 더보기 »

여기로 리디렉션합니다

자유 모노이드, 클레이니 플러스.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »