finite state acceptor{=FSA}