An algorithm, named after scholar Al-Khowarizmi, is a step-by-step procedure for a computer to produce outputs from inputs. It should have finite steps, and is often presented in pseudocode for clarity. Types include input-process-output, input-decision-process-output, and simple loops. Efficient algorithms minimize resource use and are clear, general, and modifiable.