Initial state là gì?

Trạng thái ban đầu (initial state) đối với lập trình viên, đây được gọi là điểm vào chương trình. Đây là trạng thái (state) mà máy tự nhiên khởi động trước khi nó đọc bất kỳ đầu vào nào. Tên cho trạng thái bắt đầu thường sẽ là S hoặc q0 (nó được đánh số với con số nhỏ nhất trong tất cả các trạng thái). Về mặt đồ họa, trạng thái ban đầu (initial state) được biểu diễn dưới dạng một trạng thái có mũi tên không được gắn nhãn trỏ từ bên ngoài đến nó.