Theory of computation for programmers

Finally, a fascinating and practical way to study the theory of computing and designing programming languages ​​was appeared.
In this book, theoretical computer science is set out in a well-known context, which will help to appreciate why her ideas are important and how they are reflected on how the programmer is engaged in work.
Instead of a mathematical notation or an unfamiliar academic programming language type Haskell or Lisp in this book, to explain the formal semantics, the theory of machine guns and functional programming, the Ruby language reduced to the minimum is applied to the minimum.
This is an ideal solution for programmers who are familiar at least with one of the modern languages, but not fully prepared in computer science