может ли програма состоять не из кода а из механизма шестеренок например?

Answer 1

Может. Что-то вроде машины Бэббиджа.
Когда пишешь какую-то программу для МК, то представляешь себе некий механизм, с деталями взаимодействующими по определенным правилам.

Answer 2

Не может. Всё равно будет код. Программа - не механизм, не прибор. Это набор команд, исполняемых механизмом. В виде чего он записан - в виде намагниченных областей на диске, заряженных ёмкостей или в виде выступов/пропилов на барабанах/дисках механической вычислительной машины, положения шестерёнок - не важно. Это всё равно код. Всё равно закодированная тем или иным образом последовательность команд.