A compact representation of finite state processes