알고리즘은 튜링기계의 일종으로 정의되고 튜링기계는 오토마타의 일종으로 정의된다고 알고 있음. 오토마타는 마치 보편대수학의 대수구조처럼 순서쌍으로 묶여서 정의하니까 집합이라고 볼 수 있지만 사실 어떤 체계로 보는 게 더 정확할 듯.
알고리즘은 튜링기계의 일종으로 정의되고 튜링기계는 오토마타의 일종으로 정의된다고 알고 있음. 오토마타는 마치 보편대수학의 대수구조처럼 순서쌍으로 묶여서 정의하니까 집합이라고 볼 수 있지만 사실 어떤 체계로 보는 게 더 정확할 듯.