튜링 완료
Turing Complete๋ ํ์ํ ๋ช ๋ น๊ณผ ํจ๊ป ์ถฉ๋ถํ ์๊ฐ๊ณผ ๋ฉ๋ชจ๋ฆฌ๊ฐ ์ฃผ์ด์ง๋ฉด ์๋ฌด๋ฆฌ ๋ณต์กํ๋๋ผ๋ ๊ณ์ฐ ๋ฌธ์ ๋ฅผ ํด๊ฒฐํ ์ ์๋ ๊ธฐ๊ณ๋ฅผ ๋งํฉ๋๋ค. ๋๋ถ๋ถ์ด Turing Complete(C++, Python, JavaScript ๋ฑ)์ด๋ฏ๋ก ์ด ์ฉ์ด๋ ์ผ๋ฐ์ ์ผ๋ก ์ต์ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๋ฅผ ์ค๋ช ํ๋ ๋ฐ ์ฌ์ฉ๋ฉ๋๋ค.
ํ๋ง ๋จธ์ ์ด๋?
ํ๋์ ์ปดํจํฐ ์ด์ ์ ์จ๋ฐ ํ๋ง(Alan Turing)์ ์ธ์ ๊ฐ๋ ์ด๋ค ๋ฌธ์ ๋ผ๋ ํด๊ฒฐํ ์ ์๋ ๊ธฐ๊ณ๊ฐ ์์ ๊ฒ์ด๋ผ๊ณ ๊ฐ์ ํ์ต๋๋ค. ์ด ๊ธฐ๊ณ๋ ํ๋ง ๊ธฐ๊ณ๋ก ์๋ ค์ง๊ฒ ๋์์ต๋๋ค.
Alan์ ์์ ์ ๊ธฐ๊ณ๋ฅผ ์ด์ง ์ฝ๋(1๊ณผ 0)์ ํํ๋ก ์ ๋ณด๊ฐ ๊ธฐ๋ก๋ ๊ธด ํ ์ดํ ์กฐ๊ฐ์ผ๋ก ์์ํ์ต๋๋ค. ๋ํ ๊ธฐ๊ณ์๋ ํ ์ดํ๋ฅผ ๋ฐ๋ผ ์ด๋ํ์ฌ ๊ฐ ์ฌ๊ฐํ์ ํ๋์ฉ ์ฝ๋ ์ฝ๊ธฐ/์ฐ๊ธฐ ํค๋๊ฐ ์์ต๋๋ค. ์ฝ๋๋ ๊ธฐ๊ณ์ ๊ณ์ฐ ๋ฌธ์ ๋ฅผ ๋ฌป๊ณ ํ ์ดํ๋ ์๋ฃจ์ ์ ๋ฌ์ฑํ๋ ๋ฐ ํ์ํ ๋งํผ ๊ธธ์ด์ง๋๋ค.
ํค๋๊ฐ ํ ์ดํ๋ฅผ ๋ฐ๋ผ ์์ง์ผ ๋ ๊ธฐ๊ณ๋ ๋ฐ์ ๋ฐฉ์์ ์ ์ดํ๋ ๊ฐ๋จํ ์ง์นจ์ ๋ฐ๋ฆ ๋๋ค. ํ ์ดํ๋ฅผ ์ฝ๊ณ ์ง์นจ์ ๋ฐ๋ฅด๋ฉฐ ํน์ ์์ ์ ์ํํ์ฌ ์ ์ฝ๋๋ฅผ ์์ฑํฉ๋๋ค. ์ด ์๋ก์ด ์ฝ๋ ํจํด์ด ๋ฌธ์ ์ ๋ํ ๋ต์ ๋๋ค. Turing์ ๊ฐ์ ๊ธฐ๊ณ๋ ์ฝ๋๋ก ํํํ ์ ์๋ ๋ชจ๋ ๊ณ์ฐ ๋ฌธ์ ์ ๋ตํ ์ ์์ต๋๋ค.
์ฅ์น ๋๋ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๋ ํ๋ก๊ทธ๋จ์ ์คํํ๊ฑฐ๋ Turing Machine์ด ์คํํ๊ฑฐ๋ ํด๊ฒฐํ ์ ์๋ ๋ฌธ์ ๋ฅผ ํด๊ฒฐํ์ฌ Turing Machine์ ๋ณต์ ํ ์ ์๋ ๊ฒฝ์ฐ Turing Complete๋ก ๊ฐ์ฃผ๋ฉ๋๋ค. ๋ฐ๋ฉด์ ์ฅ์น๋ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๊ฐ ํ ์ ์๋ ๊ฒฝ์ฐ๋ฅผ Turing Incomplete๋ผ๊ณ ํฉ๋๋ค.
๊ฐ๋จํ ๊ณ์ฐ๊ธฐ๋ ๋ช ๊ฐ์ง ์ ํ์ ๊ณ์ฐ๋ง ์ํํ ์ ์๋ ํ๋ง ๋ถ์์ ์์คํ ์ ํ ์์ ๋๋ค. ๋์กฐ์ ์ผ๋ก ํ๋ก๊ทธ๋๋ฐ ๊ฐ๋ฅํ ๊ณตํ์ฉ ๊ณ์ฐ๊ธฐ(๋ชจ๋ ์ข ๋ฅ์ ๊ณ์ฐ์ ์ํํ ์ ์์)๋ ํ๋ง ๊ธฐ๊ณ๋ก ๊ฐ์ฃผ๋ ์ ์์ต๋๋ค.
๋ธ๋ก์ฒด์ธ๊ณผ ํ๋ง ์์ ์ฑ
๋ธ๋ก์ฒด์ธ ๊ธฐ์ ์ ์ผ๋ถ ์์ฉ ํ๋ก๊ทธ๋จ์ Turing Complete์ด์ง๋ง ๋ค๋ฅธ ์์ฉ ํ๋ก๊ทธ๋จ์ Turing Incomplete์ ๋๋ค. ์ด๊ฒ์ ๊ตฌํ๋ ์คํฌ๋ฆฝํ ๊ธฐ์ ์ ๋ฐ๋ผ ๋ค๋ฆ ๋๋ค. ์๋ฅผ ๋ค์ด, ๋นํธ์ฝ์ธ์ ์ฌ์ฉ๋๋ ์คํฌ๋ฆฝํ ์ธ์ด๋ ๋ชฉ์ ์ ๋ถํฉํ๊ณ ๋ณต์ก์ฑ์ด ์ฆ๊ฐํ๋ฉด ์ ์ฌ์ ์ผ๋ก ๋ฌธ์ ๊ฐ ๋ฐ์ํ ์ ์๊ธฐ ๋๋ฌธ์ ์๋์ ์ผ๋ก Turing Incomplete๋ก ์ค๊ณ๋์์ต๋๋ค. ์ด๋ฅผ ๋จ์ํ๊ฒ ์ ์งํจ์ผ๋ก์จ ๊ฐ๋ฐ์๋ ์ฌ์ฉ๋๋ ์ ํ๋ ์์ ์ํฉ์์ ์ด๋ป๊ฒ ๋ฐ์ํ ์ง ๋์ ์ ํ๋๋ก ์์ธกํ ์ ์์ต๋๋ค.
๋ฐ๋ฉด ์ด๋๋ฆฌ์์ Turing Complete ๋ธ๋ก์ฒด์ธ์ผ๋ก ๊ตฌ์ถ๋ฉ๋๋ค. ์ด๋ ์ค๋งํธ ๊ณ์ฝ์ ๊ตฌ์ฑํ๋ ๊ณ์ฝ์ ์ดํดํด์ผ ํ๊ธฐ ๋๋ฌธ์ ์ค์ํฉ๋๋ค. Turing Complete๊ฐ ๋๋ ์ด๋๋ฆฌ์์ ๋ฏธ๋์ ๋ชจ๋ ๊ณ์ฝ์ ์ดํดํ๊ณ ๊ตฌํํ ์ ์๋ ๋ฅ๋ ฅ์ ๊ฐ์ง๊ณ ์์ต๋๋ค. ๋ค์ ๋งํด, Ethereum์ Turing Completeness๋ ์ฌ๋ฐ๋ฅธ ์ง์นจ, ์ถฉ๋ถํ ์๊ฐ ๋ฐ ์ฒ๋ฆฌ ๋ฅ๋ ฅ๋ง ์์ผ๋ฉด ์ฝ๋ ๊ธฐ๋ฐ์ ์ฌ์ฉํ์ฌ ๊ฑฐ์ ๋ชจ๋ ์์ ์ ์ํํ ์ ์์์ ์๋ฏธํฉ๋๋ค.