Khái niệm cốt lõi
알고리즘은 계산 문제를 해결하는 행동 패턴을 표현하는 것이다.
Tóm tắt
이 논문의 출발점은 수학 및 컴퓨터 과학 문헌에서 알고리즘의 정의에 대해 제시된 비공식적 설명에서 추출된 알고리즘의 특성들이다. 이를 바탕으로 프로토-알고리즘이라는 개념이 소개된다. 알고리즘은 어떤 동치 관계 하에서 프로토-알고리즘의 동치류라고 생각된다. 세 가지 동치 관계가 정의되며, 이 중 두 개는 적절한 동치 관계의 상한과 하한을 제공한다. 세 번째 동치 관계는 이 두 관계 사이에 있으며 적절한 동치 관계일 가능성이 크다. 또한 명령형 프로세스 대수 ACP를 기반으로 한 방법을 통해 이 동치 관계가 두 프로토-알고리즘 사이에 성립함을 증명하는 방법이 제시된다.
Thống kê
계산 문제는 주어진 입력 값에 대해 특정 관계에 있는 출력 값을 찾는 문제이다.
알고리즘은 계산 문제의 모든 인스턴스를 해결하는 행동 패턴을 표현한다.
알고리즘의 행동 패턴은 이산적인 단계들로 구성되며, 각 단계는 기본 연산 수행 또는 기본 조건 검사로 이루어진다.
Trích dẫn
"알고리즘은 공식적으로 튜링 기계이다."
"알고리즘은 어떤 상태 기계에 의해 생성되는 행동 패턴을 표현한다."