Station Transition Diagram

All this has limited computing power and there is no ultimate machine, because of undecidable (uncomputable) problems