Finite state description of communication devices in computer networks