모든 수학문제를 풀 수 있는 일반적인 알고리즘을 만들어낼 수 있는 컴퓨터 언어

* 조건1: 프로세스를 충분히 분할할 수 있을 만큼 작은 단위를 사용할 수 있어야 한다.
* 조건2: 조건설정과 반복 명령어가 있어야 한다,