Systems Approach to Theory of Computing Systems
Mihajlo Mesarović · IEEE Transactions on Military Electronics · 1964
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.