FSMs là những mô hình bao gồm: • Những yếu tố tĩnh: bao gồm trạng thái (state) và sự chuyển tiếp trạng thái (state transition). Những sự chuyển tiếp trạng thái thường được gọi là các sự chuyển tiếp. Số lượng của những trạng thái là hữu hạn. Sự chuyển tiếp trực tiếp từ trạng thái A sang trạng thái B chỉ có thể theo 1 đường link duy nhất là A-B. Số lượng các cũng là giới hạn. • Những yếu tố động: bao gồm đầu vào input được cung cấp cho FSMs và đầu ra output được lấy ra từ FSMs ở những sự thực hiện động. Nói chung, cả hai số lượng đầu vào và đầu ra đều là hữu hạn. Trong trường hợp mà số lượng đầu vào và đầu ra có thể chiếm một số lượng lớn hoặc một số lượng vô hạn các giá trị, thường thường chúng ta cần phải nhóm chúng vào các phân vùng. Các FSMs và các yếu tố của chúng được biểu diễn bằng đồ thị. Các yếu tố chính trong đồ thị bao gồm: • Mỗi trạng thái được mô tả như là một nút (node) trong đồ thị. • Mỗi sự chuyển tiếp được diễn tả như một đường link được kết nối trực tiếp từ trạng thái này sang trạng thái khác. • Input và output được nối với sự chuyển tiếp và được diễn tả như sự chú thích bởi các sự chuyển tiếp. Thông thường một trạng thái thì tương ứng với vài trạng thái xử lý chương trình, hoặc là một khoảng thời gian cụ thể , hoặc là tương ứng với 1 trường hợp cá biệt giữa những hoạt động nào đó.Ví dụ, hãy xem xét trình tự thực hiện sau đây: • Khi chương trình khởi động, chương trình ở trạng thái ban đầu. • Sau khi thực hiện chức năng hướng người sử dụng (black-box view) hay thực hiện 1 câu lệnh hay một thủ tục bên trong (white-box view), sự hoạt động của chương trình được chuyển sang 1 trạng thái khác. • Các bước trên được lặp lại một số lần, vài trạng thái cũng có thể được lặp lại. • Trạng thái mà chương trình xử lý hoàn thành thì được gọi là trạng thái cuối cùng. • Trong mỗi một sự chuyển tiếp, một vài thông tin đầu vào có thể cần thiết và một vài thông tin đầu ra có thể được đưa ra.