추상 기계 란 무엇입니까?

Automata라고도하는 초록 기계는 이론적 컴퓨터 과학의 요소입니다.추상 기계는 수학의 함수와 비슷합니다.지정된 규칙에 따라 입력을 받고 출력을 생성합니다.초록 기계는 하드웨어와 완벽하고 독립적으로 기능하는 것으로 가정되기 때문에 더 많은 리터럴 머신과 다릅니다.이들은 작업 수행 방법 및 수신 할 수있는 입력 유형과 같은 특성에 기초하여 유형으로 세분됩니다.주어진 지점.추상 기계를 항상 진행할 방법이 하나만 있으면 결정 론이라고합니다.가능한 상태 중 하나 이상에서 기계에 여러 가능성이 존재한다면 비 결정적입니다.푸시 다운 오토 마톤은 입력 스택을 조작 할 수있는 능력이 있는데, 단순히 나타나는 순서대로 단순히 하나씩 응답하는 대신 하나를 하나씩 응답하는 대신.이 예 중 하나는 Conways Game of Life입니다. 하나의 구성만이 다른 구성에서 나올 수 있기 때문에 결정 론적 추상 머신입니다.이 게임은 각 상자 또는 셀이 상태를 살아 있거나 죽을 수있는 그리드를 사용합니다.전체 그리드의 상태는 이전 상태를 기준으로 결정됩니다.살아있는 세포가 정확히 2 ~ 3 개의 다른 살아있는 세포에 닿으면 계속 살고 있습니다.1, 2 명 또는 3 명 이상의 이웃 (가능한 8 명까지)이 있다면 죽습니다.정확히 세 이웃이있는 죽은 셀이 생겨날 것입니다.그렇지 않으면, 그것은 죽은 채로 남아있을 것입니다.튜링 머신은 테이프 mdash; 무제한 크기의 기호 문자열 및 mdash에서 작업을 수행합니다.여기에는 기호를 변경하고 기호가 작동하는 기호를 변경하기위한 지침이 포함되어 있습니다.간단한 튜링 머신에는 명령어 변환 기호 만 1로 이동 한 다음 오른쪽으로 이동할 수 있습니다.이 기계는 1의 문자열 만 출력합니다.이 간단한 튜링 머신은 결정적이지만 동일한 입력이 주어지면 여러 가지 다른 작업을 수행 할 수있는 비 결정적 튜링 머신을 구성 할 수도 있습니다.재미있는 이론 장난감이 될 수 있지만 실제 컴퓨터 시스템의 모델 역할을 할 수도 있습니다.추상 기계는 징계로서 컴퓨터 과학의 중심에 있습니다.