Mini 언어는 Dijkstra가 설계한 언어로서 병렬 치환문(concurrent assignment), 비결정적 수행(guarded command)등의 특징을 가진 block-structured 언어이다. 본 논문에서는 mini 언어로 작성된 프로그램을 Pascal 프로그램으로 변환시켜 주는 변환기를 설계하였고 변환된 프로그램을 수행시켜 보았다. 특히 병렬 치환문을 일련의 순차 치환문으로 바꾸는 과정에서 임시 변수를 줄이는 문제에 대하여 고찰하여 보았다.