항목
-
최종 상태 final state오토머턴 M의 내부상태 집합의 지정된 부분 집합의 원소이다. 어느 입력 기호열에 따라 오토머턴 M이 그 초기 상태로부터 최종 상태로 전이할 때 그 입력 기호열은 오토머턴 M으로 수리된다고 한다.
- 분야 :
- 프로그래밍
-
옥스퍼드대학교 Oxford University of석사와 학사들의 보다 수준 높은 지속적인 연구를 위해 만들어졌다. 1249년 유니버시티 칼리지가 최초로 세워졌으며, 1263년경 베일리얼 칼리지가, 1264년에 머턴 칼리지가 세워졌다. 초기 옥스퍼드대학교의 명성은 신학 및 교양 과정에서 비롯되었으며, 파리대학교보다 더 깊이 있게 물리학을 다루기 시작했다. 로저...
- 설립 :
- 1096년(추정)
- 유형 :
- 공립대학
- 소재지 :
- 영국 옥스퍼드셔 옥스퍼드
- 사이트 :
- https://www.ox.ac.uk/
-
결정성 문맥자유언어 DCFL, deterministic context-free langu..결정성 푸시다운 오토머턴(푸시다운 오토머턴 참고)에 의하여 수리되는 언어. 입력기호열에 대하여 선형의 시간으로 인식가능하다. 임의의 결정성 문맥자유언어에 대해서는, 그것을 생성하는 LR(1) 문법(LR(k) 문법 참고)이 존재한다. 그리고 LR(1) 문법은 애매(애매성 [2] 참고)하지 않다. 종단기호의 집합 T상의 임의...
- 분야 :
- 소프트웨어 기초
-
정규집합 정칙 집합, regular set유한 오토머턴으로 수리되는 언어의 클래스. 정칙집합이라고도 한다. 정규집합은 정규문법으로 생성되는 언어의 클래스와 일치하고, 또 정규표현으로 나타내어지는 언어의 클래스와도 일치한다. 알파벳 Σ상의 정규언어 L1, L2에 대해 L1∪L2(합집합), L1∩L2(교집합), Σ-L1(보집합), L1(클리네 폐포)은 모두 정규집합...
- 분야 :
- 프로그램 언어
-
라빈 Michael O Rabin프린스턴 대학 강사. 프린스턴 고급연구소 연구원을 거쳐, 1965년에 헤브라이 대학의 앨버트 아인슈타인 교수에 취임. 1981년부터 하버드 대학 교수. 유한 오토머턴 이론의 기초개념 확립(스코트와 공동), 유한 오토머턴 이론의 논리학에의 응용, 확률적 알고리즘의 연구 등의 업적으로 1976년에 튜링상을 수상하였다.
- 출생 :
- 1931년 09월 01일
- 국적 :
- 이스라엘
- 분야 :
- 인명/역사
-
합동관계 congruence relation정의된다. X 상의 우불변(좌불변)의 동치 관계를 우합동관계(좌합동관계)라고 한다. 동치류의 수를 합동관계의 지수(index)라고 한다. [2] 결정성 유한 오토머턴 M(Q, Σ, δ, q0,F)에 의해 다음과 같이 해서 주어지는 Σ*상의 동치 관계 RM을 말한다. 초기 상태 q0에 있는 Σ* 중의 기호열 x와 y를 각기 인가(印加)했을...
- 분야 :
- 수학, 소프트웨어 기초
-
코드 Edgar F. Codd1948년 옥스퍼드 대학 수학과를 졸업하고 미국으로 건너갔다. 65년 미시건 대학에서 박사 학위를 취득하고, 49년 IBM사에 입사, 운영 체제, 자기 증식 오토머턴 및 데이터 베이스의 연구를 하였다. 박사 논문인 자기 증식 오토머턴에 관한 연구는 후에 ACM의 모노그래프로서 68년에 간행되었다. 그 후, 70년에 데이터...
- 출생 :
- 1923년 08월 19일
- 국적 :
- 미국
- 분야 :
- 인명/역사
-
린덴마이어 시스템 L 시스템, lindenmayer system생물의 성장의 수학적 모델로서 제안된 일종의 오토머턴. L 시스템(L System) 이라고도 한다. 셀 오토머턴처럼 격자 모양의 셀 공간은 가정하지 않는다. 형식적으로는 알파벳 ∑, 생성규칙(바꾸어 써놓는 규칙)의 집합 P, 공리 S(∈∑)의 3항조(∑.P.S)로 정의된다 S로부터 시작하여, P안의 규칙을 차례로 적용하여 ∑위...
- 분야 :
- 소프트웨어 기초
-
분해 decomposition[1] 소프트웨어 기초 분야. 유한 오토머턴을 그것보다 상태수가 적은 몇 개의 유한 오토머턴의 결합으로 표시하는 것. 예를 들면 직렬 분해, 병렬 분해, 직합 분해, 직적 분해 등이 있다. [2] 데이터 베이스 분야. 한 릴레이션 스킴을 함수적 종속성 또는 다치 종속성 등을 근거로 2개 이상의 작은 릴레이션 스킴들로...
-
클리네 Stephen Cole Kleene함수의 개념을 도입하여 귀납적 함수의 이론을 구축하는데 큰 공헌을 했다. 또 신경회로의 연구와 관련해 도입한 정규 사상의 개념은 유한 오토머턴 이론의 단서가 되었다. 유한 오토머턴으로 수리되는 언어의 집합(정규 집합)과 정규 표현으로 표현되는 언어의 집합이 일치한다는 것은 클리네의 정의로서 알려져 있다.
- 출생 :
- 1909년 01월 05일
- 국적 :
- 미국
- 분야 :
- 인명/역사
