Connectionist modeling and control of finite state systems given partial state information