Можете объяснить концепцию конечных автоматов и как они используются в программировании или моделировании систем?