Introduction to Reactive Machines