ํ๋ก๊ทธ๋๋ฐ์ด๋ ์ปดํจํฐ์๊ฒ ์คํ์ ์๊ตฌํ๋ ์ปค๋ฎค๋์ผ์ด์ ์ผ๋ก ํด๊ฒฐํด์ผ ํ ๋ฌธ์ ์ ์๊ตฌ์ฌํญ์ ๋ช ํํ ์ดํดํ ํ ์ ์ ํ ๋ฌธ์ ํด๊ฒฐ๋ฐฉ์์ ์ ์ํด์ผ ํ๋ค.
์ด ๋, ์๊ตฌ๋๋๊ฒ์ด ๋ฌธ์ ํด๊ฒฐ ๋ฅ๋ ฅ์ด๋ค. ๋ฌธ์ ํด๊ฒฐ๋ฅ๋ ฅ์ ํค์ฐ๊ธฐ ์ํด์๋ Computational thinking (์ปดํจํ ์ฌ๊ณ ) ๋ฅ๋ ฅ์ด ํ์ํ๋ค. ์ปดํจํ ์ฌ๊ณ ์๋ ๋ ผ๋ฆฌ์ , ์ํ์ ์ฌ๊ณ ๊ฐ ํ์ํ๋ค.
์ปดํจํฐ์๊ฒ๋ ๊ธฐ๊ณ์ด๋ฅผ ์ฌ์ฉํด ๋ช ๋ น์ ์ ๋ฌํด ์ค์ผํ๋๋ฐ ์ฌ๋์ด ๊ธฐ๊ณ์ด๋ฅผ ์ดํดํด์ ๋ช ๋ น์ ์ ๋ฌํ๋๊ฒ์ ๋งค์ฐ ์ด๋ ค์ด ์ผ์ด๋ค.
๊ทธ๋ฌ๋ฏ๋ก, ์ฝ์๋ ๊ตฌ๋ฌธ(๋ฌธ๋ฒ)์ผ๋ก ๊ตฌ์ฑ๋ Programming language (ํ๋ก๊ทธ๋๋ฐ ์ธ์ด)๋ฅผ ์ฌ์ฉํด ์ฝ๋๋ฅผ ์์ฑํ ํ, ์์ฑ๋ ์ฝ๋๋ฅผ ์ปดํ์ผ๋ฌ๋ ์ธํฐํ๋ฆฌํฐ๋ฅผ ์ฌ์ฉํด ๊ธฐ๊ณ์ด๋ก ๋ฒ์ญํด ์ปดํจํฐ์๊ฒ ์ ๋ฌํ๋ค.
ํ๋ก๊ทธ๋๋ฐ ์ธ์ด๋ ๊ตฌ๋ฌธ(Syntex)๊ณผ ์๋ฏธ(Semantics)์ ์กฐํฉ์ผ๋ก ํํ๋๋ค.