On Algebraic Structures and Automaton for Optimal Computer Network Design and Performance Study