브라우저보다 빠른!
19 처지: 무한 집합, 결정 문제, 계산 가능성 이론, 부분집합, 교집합, 논리학, 튜링 기계, 자동기계, 클레이니 스타, 정보 이론, 정규 표현식, 집합, 추론, 유한 상태 기계, 수학, 형식 문법, 언어학, 여집합, 합집합.
무한 집합
수학에서, 무한 집합(無限集合)은 원소의 개수가 무한히 많은 집합으로, 원소의 개수가 유한한 유한 집합이 아닌 모든 집합이.
새로운!!: 형식 언어와 무한 집합 · 더보기 »
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
새로운!!: 형식 언어와 결정 문제 · 더보기 »
계산 가능성 이론
산 가능성 이론(計算可能性理論) 또는 재귀 이론(再歸理論)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이.
새로운!!: 형식 언어와 계산 가능성 이론 · 더보기 »
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
새로운!!: 형식 언어와 부분집합 · 더보기 »
교집합
집합 ''A''와 ''B''의 교집합을 표현한 벤 다이어그램. 집합론에서, 두 집합 A와 B의 교집합(交集合) A ∩ B는 그 두 집합이 공통으로 포함하는 원소로 이루어진 집합이.
새로운!!: 형식 언어와 교집합 · 더보기 »
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
새로운!!: 형식 언어와 논리학 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 형식 언어와 튜링 기계 · 더보기 »
자동기계
스위스 기계 박물관에 있는 자동 인형 자동기계 (自動機械) 또는 오토머튼(복수형은)은 스스로 작동하는 기계이.
새로운!!: 형식 언어와 자동기계 · 더보기 »
클레이니 스타
이니 스타(Kleene Star)는 문자열이나 문자의 집합에 쓰이는 단항 연산으로, 0개 이상의 임의 원소의 연쇄를 뜻. 스티븐 클레이니가 도입하였으며, 오토마타 이론과 정규 표현식, 형식 문법에서 활용.
새로운!!: 형식 언어와 클레이니 스타 · 더보기 »
정보 이론
정보 이론(情報理論)은 최대한 많은 데이터를 매체에 저장하거나 채널을 통해 통신하기 위해 데이터를 정량화하는 응용 수학의 한 분야이.
새로운!!: 형식 언어와 정보 이론 · 더보기 »
정규 표현식
랑색 강조 부분은 다음 정규식을 사용했을 때 매치된 것이다.(?:\.) 2,(?.
새로운!!: 형식 언어와 정규 표현식 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
추론
(推論)은 이미 알고 있는 것으로부터 논리적 결론을 도출하는 행위 또는 과정이.
유한 상태 기계
유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는데에 쓰이는 수학적 모델이.
새로운!!: 형식 언어와 유한 상태 기계 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
형식 문법
형식 문법(formal grammar)은 형식 언어를 정의하는 방법으로, 유한개의 규칙을 통해 어떤 문자열이 특정 언어에 포함되는지를 판단하거나, 그 문법으로부터 어떤 문자열을 생성해 낼지를 정. 형식 문법은 그 문법으로부터 문자열들을 생산해 내는 생성 문법(generative grammar)과, 문자열이 특정 언어에 포함되는지를 판단하는 해석 문법(analytic grammar)으로 나눌 수 있.
새로운!!: 형식 언어와 형식 문법 · 더보기 »
언어학
일반적으로 언어학(言語學)은 인간의 언어를 연구하는 학문이.
새로운!!: 형식 언어와 언어학 · 더보기 »
여집합
집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.
새로운!!: 형식 언어와 여집합 · 더보기 »
합집합
''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.
새로운!!: 형식 언어와 합집합 · 더보기 »
여기로 리디렉션합니다
형식언어.
