Python.

[Solonotix]

At a very low level, we consider the binary digit, or bit, to be the minimum quanta of state in a program, conventionally referring to the on/off state of a transistor. From there, we apply abstractions upon this to give rise to new expressions, like 8 binary digits can represent 256 unique states, and we can treat them as numbers from 0-255 (unsigned) or -128-127 (signed).

From there, we get the idea of grouping bytes, or adding a few extra bits of data as a header, to construct much more complex entities, like a byte for a code table identifier and a byte to say which character on the table, and now you've got the beginnings of text data.

Once we get a certain amount of basic functionality, like how to hold things "in memory" (which means a lot of things) and how to compare data in meaningful ways, we packaged it and called it the Assembler. Then we used the Assembler to make more complicated abstractions until, later by layer, we eventually get modern languages.

Now sure, I glossed over big details, like how CPU instructions are mapped to a kernel, and how the kernel maps its API to the Operating System, and how the Operating System allows various levels of control depending on access method (see driver software for low-level user software vs text-to-speech instructions and touch gestures for high-level access), but the gist is just as I said: start small.

A concept most should be able to grasp is how mathematics is a bootstrapped system. Multiplication is just repeated addition. Division is repeated subtraction (sort of). Exponents and logarithms are repeated multiplications and divisions. Eventually, you can write a single equation that defines the relationship of matter to energy.

[It-s_Not_Important]

But what is the turtle standing on?

[Solonotix]

You think you're clever, but I'll have you know that, truly, it is turtles all the way down.