Объясните концепцию автоматов состояний и их применение в программировании.