Abstract :
A formal system is introduced which is capable of representing a universal Turing machine. This enables the input, state-output representation of the computing systems that allows the study on a unified basis of the larger systems involving computer-like subsystems. It has been shown how some problems and concepts associated with the theory of Turing machines can be applied to engineering system and vice-versa. This has been made possible by using the proposed formal system.
Keywords :
"Turing machines","Communication systems","Logistics","Biological systems","Systems engineering and theory","Differential equations","Humans","Difference equations","Contracts","Cybernetics"
