Далеко не все программы пишут для выполнения на компьютере. В учебниках особенности алгоритмов объясняют блок-схемами или псевдокодом, в теории алгоритмов активно используют машину Тьюринга, лямбда-исчисление, нормальные алгорифмы Маркова. В реальном программировании те же блок-схемы и их аналоги используют в визуальных системах программирования - начиная со Scratch и заканчивая профессиональными ETL-системами.