Observer design for labeled finite automata with inputs under stealthy actuators attacks