Можете объяснить, что означает конечный автомат (FSM) в контексте программирования и системного дизайна?