An abstract finite state transducer for modelling UIs mainly but also applicable for many other things
