Turing Machines

상위 문서: 계산 이론 개론

개요

튜링 머신(Turing Machine)은 계산의 본질을 단순한 모델로 표현한 이론적 컴퓨터 모델이다. 튜링 머신은 모든 계산 가능한 것을 정의하는 최초의 이론적 모델로서 현대 컴퓨터의 이론적 토대를 마련했다. 또한 , 튜링 머신을 통해 계산 가능성의 한계를 증명하고, 어떤 언어의 능력을 평가하는 '튜링 완전성' 개념의 기반이 되었다.

Basic Concepts of Turing Machines

튜링 머신의 핵심적인 구성요소는 Control unit, Tape, Read/Write Head이다:

1. Control unit: Control unit은 유한한 상태 집합 Q 중 하나의 상태에 머물며 작동한다.
   • 현재 상태를 기억하고 다음 동작을 결정하는 역할을 한다.
2. Tape: 무한히 긴 1차원 테이프이며, 칸에는 하나의 기호(symbol)를 쓸 수 있다.
   • 이때 사용할 수 있는 기호들의 집합을 테이프 알파벳$(\mathrm{\Gamma })$이라고 한다.
3. Read/Write Head: 한 번에 한 칸씩 왼쪽(L) 또는 오른쪽(R)으로 이동하면서, 현재 칸의 기호를 읽거나 바꾼다.

튜링 머신은 위의 구성 요소를 바탕으로 유한한 개수의 명령(전이 함수, transition function)을 따라서 작동한다.

Mathematical Formalization

튜링 머신은 아래와 같은 7-튜플($Q,\mathrm{\Sigma },,\mathrm{\Gamma },\delta ,q_0,q_{accept},q_{reject}$)을 통해서 정의된다:

1. $Q$: 상태들의 유한 집합(states)
2. $\mathrm{\Sigma }$: 입력 알파벳 (input alphabet)
3. $\mathrm{\Gamma }$: 테이프 알파벳 (tape alphabet), $\mathrm{\Sigma }\in \mathrm{\Gamma },␣\in \mathrm{\Gamma }$
4. $\delta$: 전이 함수(transition function)이며, 아래와 같은 형식이다:
   $\delta :Q\times \mathrm{\Gamma }\to Q\times \mathrm{\Gamma }\times \{L,R\}$
5. $q_0$: 시작 상태(start state)
6. $q_{accept}$: 받아들이는 상태(accept state)
7. $q_{reject}$: 거부 상태(reject state)

튜링 머신의 전이 함수를 풀어 설명하면, 아래와 같은 형태이다:

“만약 현재 상태가 q이고, 테이프에서 기호 a를 읽었다면,

이를 기호 b로 바꾸고, 머리를 L 또는 R로 한 칸 이동한 뒤, 상태를 r로 바꿔라.” 즉, 명령은 (q, a) → (r, b, L/R)과 같이 정의된다고 할 수 있다.

튜링 기계의 형식적 정의는 사람마다 약간씩 다를 수 있다. 예를 들어, reject 상태를 따로 두지 않고 accept 상태 만을 정의하고 나머지는 자동으로 reject로 간주하기도 한다. 또한 테이프의 왼쪽 끝 표시(left-end marker)를 따로 두어 기계가 더 이상 왼쪽으로 이동하지 않도록 제한하기도 하기도 한다. 해당 위키에서 참조하는 Michael Sipser의 『Introduction to the Theory of COMPUTATION, Third Edition』에서도 아래와 같이 추가적인 정의를 추가한다:

"어떤 구성 $(u,q,v)$에서 $q\in \{q_{accept},q_{reject}\}$일 때, 반드시 하나의 후속 구성(successor configuration)을 가진다."

이는 모호하지 않은(결정적) 동작을 보장하여 결정적 튜링 머신(Deterministic Turing Machine)을 전제로 하기 위한 것이다.

Configurations of Turing Machines

튜링 머신에서의 구성(Configuration)이란 튜링 머신의 현재 상태 전체를 나타내는 한 단위 상태이다. 이는 아래와 같이 정의된다:

$(u,q,v)$

이때 $q\in Q$는 현재 튜링 머신이 위치한 상태를 나타낸다. 또한 $u\in \mathrm{\Gamma }*$는 헤드의 왼쪽에 있는 테이프 내용을, $v\in {\mathrm{\Gamma }}^{+}$는 헤드의 오른쪽에 있는 테이프 내용을 의미한다. 예를 들어 $(u,q,v)=(101,q_3,0␣␣␣)$와 같이 구성이 주어지면, 현재 상태는 $q_3$이며, 테이프 왼쪽에는 "101"이, 오른쪽에는 "0"과 공백이 있다는 것을 의미한다. 이때 공백은 테이프 위에서 아무것도 적혀 있지 않은 칸을 의미하며, 입력 이외의 칸을 나타내기 위해 사용하는 심볼이다. 이때 중요한 것은 오른쪽 끝의 공백은 몇 개가 있든 동일한 구성으로 간주한다. 이는 아래와 같이 나타낼 수 있다:

$(u,q,v{␣}^n)=(u,q,v{␣}^m)forn,m\ge 0$

이는 튜링 기계가 “무한히 많은 빈 칸”을 상정하므로, 불필요한 공백 개수는 의미가 없기 때문이다.

The Yields Relation

튜링 머신이 한 단계에서 다음 단계로 이동하는 규칙은 $\delta$와, 해당 튜링머신의 구성을 통해 정의된다. 예를 들어,

Configuration $C_1$ yields $C2$

는 주어진 튜링 머신의 상태가 단 한번의 동작으로 $C_1$에서 $C_2$로 바뀐다는 것을 의미한다. 이때, 이 yield 관계(relation)는 전이함수 $\delta$에 의해서 결정된다. 이때 yield 관계는 아래와 같이 구분된다:

1. 왼쪽으로 이동 (Move Left)
   • $q_{i}bv$ yields $q_{j}cv,if\delta (q_i,b)=(q_j,c,L)$: 단순히 머리 위치를 그대로 두고, 공백을 유지한다.
   • $ua{q}_{i}bv$ yields $u{q}_{j}acv,if\delta (q_i,b)=(q_j,c,L)$: $b$를 $c$로 바꾸고 왼쪽으로 이동하여 왼쪽 기호 $a$ 위로 헤드를 옮긴다.
2. 오른쪽으로 이동 (Move Right)
   • $ua{q}_{i}b$ yields $uac{q}_j␣,if\delta (q_i,b)=(q_j,c,R)$: 공백(blank)을 새로 하나 추가해야 한다.
   • $ua{q}_{i}bv$ yields $uac{q}_{j}v,if\delta (q_i,b)=(q_j,c,R)$: $b$를 $c$로 바꾸고, 한 칸 오른쪽으로 이동한다.

${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$ ${\displaystyle }$