검색 결과

...Glushkov -)는 1960년 [[글루시코프]]가 제안한 [[정규 표현식]]에서 유한 [[오토마타 이론|오토마타]]<!--[[유한 오토마타]] 생성 후엔 여기로 걸기 -->를 얻는 작도법이다. [[톰슨 작도]]보다 복잡하지만 <math>\epsilon</math>변환을 만들 * [[오토마타 이론]] ...

[[형식 언어]] (Picture language) 이론 가운데 '''그림 언어'''는 그림이 알파벳을 2차원적 특성의 배열을 갖는 것이다. 그림 언어 연구는 처음에는 패턴 인식 및 이미지 처리 문제에 의해 동기가 부여되었지만 2 차원 패턴은 [[세포 자동자|셀룰러 오토마타]] 및 기타 병렬 컴퓨팅 모델의 연구에서도 나타난다. [[형식 체계]]는 배열 문법과 타일링 시트템과 같은 그림 언어를 정의하게 만들어 ...

DEVS 형식론은 지글러가 자신의 박사학위 논문을 작성하던 중 [[오토마타 이론|오토마타]]<ref>[[오토마타 이론|오토마타]]는 지글러의 박사학위 논문에서 수학모델로 사용되었다.</ref><ref><nowiki>[Zeigler68]</nowiki></ref> [[분류:이론 컴퓨터 과학]] ...

...에 쓰이는 [[단항 연산]]으로, 0개 이상의 임의 원소의 [[연쇄]]를 뜻한다. [[스티븐 클레이니]]가 도입하였으며, [[오토마타 이론]]과 [[정규 표현식]], [[형식 문법]]에서 활용된다. 일반적으로 수학에서는 자유 [[모노이드]] 구성에 쓰인다. '''Σ*'''는 {{계산 이론}} ...

{{오토마타 이론}} ...

[[분류:오토마타 이론]] ...

[[분류:오토마타 이론]] ...

...{lang|en|cellular automata}}, 단수 {{lang|en|cellular automaton}})는 [[계산 가능성 이론]], [[수학]], [[물리학]], [[복잡계]], [[수리생물학]], 미세구조 모델링에서 다루는 [[이산수학|이산]] 모형이다. 여러 ...갖고 있었을 뿐만 아니라 유한 오토마타와 역사적, 기술적으로 관련이 있는 인공생명과도 밀접한 관계에 있다. 특히 폰 노이만의 셀룰러 오토마타(von Neumann's cellular automata)는 최초의 '부드러운' 인공 생명 중 하나로 꼽히고 있으며, 폰 노이만과 같은 ...

[[오토마타 이론]]에서, 어떤 [[유한 상태 기계]]가 [[결정론적 유한 상태 기계]](DFA)라는 것은 다음을 뜻한다. ...NFA]], [[유한 상태 트랜스듀서]], [[푸시다운 오토마타]], [[교대 유한 상태 기계]], [[ω-오토마타]], [[확률적 오토마타]] 등이 있다. NFA의 특수한 예로는 DFA 말고도 [[비중의적 유한 상태 기계]](UFA)와 [[자기 검증 유한 상태 기계]](SV ...

{{다른 뜻 넘어옴|재귀 이론}} ...理論, {{llang|en|recursion theory}})은 [[수학기초론]]의 중요한 분야이자 [[컴퓨터 과학]]에서는 [[계산 이론]]의 한 갈래이다. ...

...beling}})은 전통적을 [[정수]]로 표현되는 라벨을 [[그래프]]의 [[모서리 (그래프 이론)|모서리]]나 [[꼭짓점 (그래프 이론)|꼭짓점]], 또는 둘 다에다 붙이는 것이다.<ref name=mathw>{{매스월드|LabeledGraph|Labeled graph} ...무향 단순 그래프로 이해된다. 하지만, 번호매김의 표기는 모든 그래프의 확장과 일반화에서 적용될 수 있다. 예를 들어, [[오토마타 이론]]과 [[형식 언어]] 이론에서 이것은 라벨 [[다중 그래프]]로 보는 것이 편리하다. 즉, 꼭짓점 쌍은 일부 라벨이 붙은 모서리로 연 ...

* [[상태도 (오토마타 이론)|상태도]] 활용 : 설계 목적을 구현하기 위해 동작 상태를 추상화 하여 상태도를 그린다. 이 상태도에 입력과 출력을 표시하고 논리회로 ...

...-WarshallAlgorithm | title = Floyd-Warshall Algorithm}}</ref> 그리고 [[결정적 유한 오토마타]]를 [[정규 표현식]]으로 변환할 때, [[클레이니 알고리즘]](1956년에 발표됨)과 밀접한 관련이 있다는 점에서 동일하다.<ref 따라서, 플로이드-워셜 알고리즘을 이용해서 음수 [[순환 (그래프 이론)|사이클]]을 감지하기 위해서는, 경로 행렬의 대각 성분을 확인해서 음수가 나타나는지를 확인한다. 음수가 발견되면 적어도 하나 이상의 ...

{{오토마타 이론}} ...(finite-state machine, FSM) 또는 '''유한 오토마톤'''(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는 데에 쓰이는 수학적 모델이다. 간단히 '상태 기계'라고 부 ...

{{오토마타 이론}} ...iagram 3 state busy beaver 2B.svg|섬네일|500px|오른쪽|3-상태 아주 바쁜 기계의 튜링 기계를 [[유한 오토마타]]에 입각해 표현해본 것. 각각의 원은 표의 상태를 나타내고, m배열, 지시, 또는 명령은 화살표로 표현된다. 화살표 위의 표식은 특정 ...

[[w:V−A theory|V−A 이론]]<br/> [[w:Quantum cellular automata|양자 세포 오토마타]]<br/> ...