추상 기계 란 무엇입니까?

automata라고도하는 초록 기계는 이론적 컴퓨터 과학의 요소입니다. 추상 기계는 수학의 함수와 비슷합니다. 지정된 규칙에 따라 입력을 받고 출력을 생성합니다. 초록 기계는 하드웨어와 완벽하고 독립적으로 기능하는 것으로 가정되기 때문에 더 많은 리터럴 머신과 다릅니다. 이들은 작업을 수행하는 방법 및 수신 할 수있는 입력 유형과 같은 특성에 기초하여 유형으로 세분화됩니다.

초록 기계를 분류 할 때 가장 간단한 차이 중 하나는 주어진 시점에서 수행 할 수있는 작업의 수와 관련이 있습니다. 추상 기계를 항상 진행할 방법이 하나만 있으면 결정 론이라고합니다. 가능한 상태 중 하나 이상에서 기계에 여러 가능성이 존재한다면 비 결정적입니다. "푸시 다운"오토마톤은 단순히 O에 의해 하나에 응답하는 대신 입력 스택을 조작 할 수있는 용량이있는 것입니다.그들이 나타나는 순서대로.

Wolfram Mathworld 는 추상 기계의 두 가지 유명한 예를 제공합니다. 이 예 중 하나는 Conway의 삶의 게임입니다. 하나의 구성만이 다른 구성에서 나올 수 있기 때문에 결정 론적 추상 머신입니다. 이 게임은 각 상자 또는 셀이 주 "살아있는"또는 "죽은"주를 가질 수있는 그리드를 사용합니다. 전체 그리드의 상태는 이전 상태를 기준으로 결정됩니다. 살아있는 세포가 정확히 2 ~ 3 개의 다른 살아있는 세포에 닿으면 계속 살고 있습니다. 1, 2 명 또는 3 명 이상의 이웃 (가능한 8 명까지)이 있다면 죽습니다. 정확히 세 이웃이있는 죽은 셀이 생겨날 것입니다. 그렇지 않으면 죽을 것입니다.

또 다른 예인 Turing Machine은 컴퓨터 과학에서 가장 기본적이고 기본적인 추상 기계 중 하나입니다. Turing Machine은 테이프에서 일련의 기호로 작업을 수행합니다.무제한 크기. 여기에는 기호를 변경하고 기호가 작동하는 기호를 변경하기위한 지침이 포함되어 있습니다. 간단한 튜링 머신에는 "기호를 1로 변환 한 다음 오른쪽으로 이동하십시오"라는 명령어 만 가질 수 있습니다. 이 기계는 1의 문자열 만 출력합니다. 이 간단한 튜링 머신은 결정적이지만 동일한 입력이 주어지면 여러 가지 다른 작업을 수행 할 수있는 비 결정적 튜링 머신을 구성 할 수도 있습니다.

이 추상 기계는 많은 목적을 달성 할 수 있습니다. 재미있는 이론 장난감이 될 수 있지만 실제 컴퓨터 시스템의 모델 역할을 할 수도 있습니다. 추상 기계는 징계로서 컴퓨터 과학의 중심에 있습니다.