Una forma muy machetera de entender esto:
Un programa esta definido en una estructura, el cual es algo asi como la estructura de un HTML (que tiene: HTML - HEAD - BODY). donde dice "Esto es un ejecutable" "Entre esto y esto es codigo ejecutable" "Esto son recursos" y asi por el estilo.
Un ejemplo concreto:
https://es.wikipedia.org/wiki/Execut...inkable_Format
Todo en un computador es estructuras, convenciones/especificaciones de como se "Arman" los datos, y asi hasta llegar a binario, donde dice "Todo es 1 o 0".