🧑‍🏫 Examples are added.

This shows that the thoughts are good and can generalize.

README.md

@@ -62,4 +62,6 @@ Csondiering that
 
 > In computing, a [compiler](https://en.wikipedia.org/wiki/Compiler) is a computer program that translates computer code written in one programming language (the source language) into another language (the target language).
 
-A best translation is always the closest to the original that is the shortest in the new domain, therefore, the best transformation (best software desgin) is therefore the best transformation from the source (map domain, physics domain etc) to the language understood by the Turing machine (your software), with structures mimicking the problems in the domains we aim to solve, uneless there is a faster way of computing the same thing.
+A best translation is always the closest to the original that is the shortest in the new domain, therefore, the best software desgin is therefore the best transformation from the source (map domain, physics domain etc) to the language understood by the Turing machine (your software), with structures / meanings mimicking the problems in the domains we aim to solve, uneless there is a more terse / faster way of computing the same thing.
+
+As an example, Let's say if an action `A` can be accomplished with the instructions `I`, and a computer `T` follows the instruction. `T` is flexible in its definition (maybe even humans, if humans are Turing machines)! Provided that the same thing can be accomplished by a computer program `P` running on computer `C`. This means that there must be a translation betweeen `I` and `P`, understood by `T` and `C` respectively. The translation principle still follows (similar in meaning but as terse as possible) in this case, without exception.