Introduction Version 2

After practicing the first version of the introduction for a while the different discussions shed some new light onto the nature of the translation process of a problem $P$ into a working automaton $A$ which models the behavior of the intended system $S$. Here a simple example to demonstrate this 'new view' on the translation process

$$modeling : P \longmapsto A$$ (4.1)