Trạng thái hữu hạn, cửa sổ và mô hình truy hồi

Kết nối mô hình toán với lập luận gọn và phép kiểm tra.

Chọn trạng thái đủ thông tin trước khi tuyên bố có chu kỳ.

Biến đổi truy hồi về cấp số hoặc tổng khử liên tiếp.

Kiểm soát chỉ số, tiền chu kỳ và điều kiện ban đầu.

Chứng minh công thức, tính khả thi và giới hạn khi cần.