O tipo de programa que controla dispositivos de entrada e saída, como, por exemplo, um disco, um teclado ou uma impressora, permitindo estabelecer comunicação dos dispositivos com o sistema operacional é conhecido como