1930 년에 수학자와 논리학자는 의미를 알기 위해 계산에 대한 연구를 시작했습니다. 현재 TOC (Theory of Computation)는 계산 가능성 이론, 복잡성 이론, 자동 장치 이론과 같은 세 가지 이론으로 나눌 수 있습니다. TOC는 자연, 인공 및 기타 가상과 같은 계산 속성을 연구하는 데 어려움을 겪는 과학적 컨트롤입니다. 가장 중요한 것은 수완이 풍부한 계산 환경을 알 계획입니다. 의 목차 컴퓨터 과학 & 수학은 알고리즘을 사용하여 문제를 해결하기 위해 계산을 다루는 부문입니다. 이 개념에 대해 알기 위해 시장에서 구할 수있는 다른 계산 이론 즉 '자동 이론 언어 및 계산에 대한 소개'가 있습니다. 이 기사는 계산 이론에 대한 개요를 제공합니다.
계산 이론은 무엇입니까?
계산 이론은 다음과 같이 알려져 있습니다. 오토마타 이론 . 이것은 컴퓨터 과학뿐만 아니라 수학의 이론적 인 부분으로, 대부분 자동 장치와 관련된 계산 논리를 다룹니다. Automata 이론을 통해 연구원은 기계가 기능을 계산하고 문제를 해결하는 방법을 알 수 있습니다.
계산 이론은 무엇인가
이 이론을 개발하는 주요 목적은 기술을 확장하여 개별 시스템의 활성 성능을 설명하고 조사하는 것이 었습니다. automata의 이름은 automaton이라는 이름에서 발명되었습니다. 용어와 유사하기 때문에 오토메이션 오토마타 이론 또는 계산 이론은 주로 계산 형태를 다루고 설명과 속성을 수정합니다. 이 이론의 가장 좋은 예는 주로 유한 오토마타, 튜링 머신 및 콘테스트 무료 문법을 포함합니다.
TOC의 기본 용어
이제 중요하고 자주 사용되는 TOC의 필수 용어에 대해 알아 보겠습니다.
상징
알파벳, 그림 또는 문자와 같은 최소 구성 요소입니다.
알파벳
이것들은 기호 집합 Σ로 표시 할 수 있습니다. 알파벳은 항상 고정되어 있습니다. 알파벳의 가장 좋은 예는 다음과 같습니다.
Σ = {0,1}
이진수의 알파벳입니다.
Σ = {0,1, ……, 9}
십진수의 알파벳입니다.
Σ = {a, b, c}
Σ = {A, B, C,… .Z}
끈
- 여러 알파벳의 제한된 일련의 기호이며 일반적으로로 표시되며 문자열의 길이는 | w |로 표시 될 수 있습니다.
- 기호 수가 0 인 빈 문자열은 'ε'로 표시 할 수 있습니다.
- 문자열 수는 a, ab, ba 및 bb와 같은 {a, b} 알파벳 위에 생성 될 수 있습니다.
- 위의 정보 문자열에서 길이는 | w | = 2이고 문자열의 수는 4입니다.
- 길이가‘n’인 {a, b} 알파벳의 경우 생성 할 수있는 문자열 수는 2n입니다.
언어
Σ *에서 선택한 문자열의 집합이며 Σ *‘의 구분으로 정의 할 수도 있으며 제한적이거나 무한한‘Σ’위에 만들 수 있습니다.
예를 들면 : 유한 언어의 경우 L1 = [길이가 2} 인 전체 문자열 세트
{aa, ab, ba, bb}
무한 언어의 경우 L2 = [ 'a'로 시작하는 전체 문자열 세트}
{A,이 두 가지의 크기, AAA, ABB}
‘Σ’의 영향
이후 Σ = {a, b} 일 때
Σ0 = 길이가 0 인 Σ 위의 전체 문자열 세트 {ε}
Σ1 = 길이가 1 개인 Σ 이상의 전체 문자열 세트 {a, b}
Σ2 = 2 개의 길이 {aa, ab, ba, bb}를 가진 Σ 위의 전체 문자열 세트
즉, | Σ2 | = 4 & 또한 | Σ3 | = 8
Σ *-유니버설 세트.
Σ * = Σ0 * U Σ1 * U Σ2
= {ε} * U {a, b} * U {aa, ab, ba, bb} (무한 언어)
카디널리티
카디널리티는 아니오입니다. 의 요소 세트 내.
전환 기능
오토 마톤은 단일 시점에서 별도의 시간 에지에서 작동하도록 고안되었으며 제어 장치는 내부 상태에 있으며 입력 장치는 입력 테이프의 특정 기호를 스캔합니다. 다음 시점 또는 단계에서이 제어 장치의 내부 상태를 다음 상태 또는 전환 기능이라고합니다.
이 전환 기능은 현재 상태, 입력 테이프의 현재 입력 기호 및 현재 임시 저장소에있는 정보와 관련하여 다음 상태를 제공합니다. 한 단계에서 다음 단계로 전환하는 동안 출력이 생성되거나 임시 저장소의 정보가 변경 될 수 있습니다.
움직임
구성이라는 단어는 주로 정확한 제어 장치 상태, 임시 저장소 및 i / p 테이프를 나타냅니다. 이동은 한 단계에서 다음 단계로의 변환으로 정의 될 수 있습니다.
계산 이점 이론
TOC 개념은 PC가 상상할 수있는 기본 방법에 대해 알려줍니다. NLP (Natural Language Processing)의 구성과 관련된 부분에서 실현 가능하게 된 작업에 대한 엄청난 합의가 있습니다. FSM (유한 상태 머신) FSA (Finite State Automata)라고도합니다.
능숙한 계산을 이끄는 수학적 규칙을 알고이를 적용하여 다른 컴퓨터 과학 및 수학 부분과 물리학 및 신경 과학과 같은 추가 분야에서 발생하는 문제를 해결합니다.
TOC의 연구 분야
계산 이론의 연구 분야는 주로 다음과 같은 영역을 포함합니다.
- 암호화
- 알고리즘 설계 및 분석
- 양자 계산
- 컴퓨터 과학 내의 논리
- 계산상의 어려움
- 계산 내 임의성
- 수정 오류 코드에서
따라서 이것은 계산 이론 튜토리얼 . 이것은 컴퓨터 과학의 기본 과정이며 지난 몇 년 동안 컴퓨터 과학이 과학 인 것처럼 사람들이 이것을 어떻게 생각했는지 알 수 있도록 도와 줄 것입니다. 실제로 자동으로 계산할 수있는 장비의 유형과이를 수행 할 수있는 속도 및이를 위해 얼마나 많은 간격을 확보하는지에 관한 것입니다. 이것은 이론적 인 계산 장치에 대한 연구입니다. 계산은 PC, 휴대 전화 및 자연 에서처럼 모든 곳에서 발생합니다. 여기 당신을위한 질문이 있습니다. 좋은 계산 이론은 무엇입니까? , 댓글을 남겨주세요.
