SPRAWDZENIE PROGRAMU
Po napisaniu na formularzu program podlega sprawdzeniu, a następnie przeniesieniu na maszynowe nośniki informacji. Program napisany w języku symbolicznym wprowadza się również na maszynowe nośniki informacji. Jednakże w tym przypadku zakres przenoszonych informacji ogranicza się do kodów operacji oraz symbolicznych adresów poszczególnych rozkazów. Program napisany w języku symbolicznym i wydziur- kowany na maszynowych nośnikach informacji nosi nazwę programu źródłowego. Jak wspomniano, program źródłowy przygotowuje się w języku dogodnym dla programisty, lecz niezrozumiałym bezpośrednio dla maszyny cyfrowej. Z tego wynika, że program ten nie może bezpośrednio sterować pracą maszyny cyfrowej podczas realizacji procesu obliczeniowego.