Máy tự động hữu hạn không xác định tối thiểu không đẳng cấu

Ai đó có thể cung cấp một ví dụ về hai tương đương (nhận dạng cùng một ngôn ngữ) automata không xác định tối thiểu (NFA) không phải là đẳng cấu?

Xem giấy (phần tái bút)

Arnold, Dicky, Nivat. Một lưu ý về automata không xác định tối thiểu

$L_6$$a^n$$n$

Một trong số đó về cơ bản là DFA tối thiểu, người còn lại đoán xem đó không phải là bội số của 2 hay không phải là bội số của 3.