Reconfigurable models of finite state machines and their implementation in FPGAs