Non-isomorphic จำกัด ออโตเมต้า จำกัด

ใครบางคนสามารถให้ตัวอย่างของการเทียบเท่าสอง (การรับรู้ภาษาเดียวกัน) ขั้นต่ำที่ไม่ได้กำหนดไว้โดยอัตโนมัติ (NFA) ซึ่งไม่ใช่ isomorphic?

ดูกระดาษ (คำลงท้าย)

Arnold, Dicky, Nivat หมายเหตุเกี่ยวกับออโตมาตาแบบไม่ จำกัด ขั้นต่ำ

$L_6$$a^n$$n$

หนึ่งในนั้นคือ DFA ที่น้อยที่สุดอีกอันหนึ่งคาดเดาว่ามันไม่ใช่ผลคูณของ 2 หรือไม่คูณ 3