Bir dilde birden fazla DFA olabilir mi?

Örneğin, alt dizeleri olmayan dizelerin kullanılmasına izin veren bir DFA'yı düşündüğümüzde 00veya 11aşağıdaki iki DFA'yı üretebilirim:

automata finite-automata

— Madhuri
kaynak

Her şeyden önce, sol DFA'nız yanlış - örneğin 011'i kabul ediyor.

İkincisi, DFA'lar kanonik olarak en aza indirilebilir , bu nedenle belirli bir dil için her zaman bir kanonik DFA bulabilirsiniz.

Ancak genel olarak, her dil için sonsuz sayıda farklı DFA vardır, böylece farklı doğru cevaplar alabilirsiniz.

— Shaull
kaynak

Ve bu sonsuz sayıda izomorfizme kadar bile.

— G. Bach

N

$\mathbb{N}$ . Bunu düzeltmezsek, otomata koleksiyonu bile bir set değildir ... Bir şekilde bunun OP'nin niyeti olduğunu düşünmüyorum :)

— 9'da Shaull

Sonlu diller için bile sonsuz sayıda farklı DFA?

— Bergi

@Bergi: Kesinlikle - istediğiniz kadar yedek durum ekleyebilirsiniz. Bu "aptalca" gibi gelebilir ve kendiniz bir otomasyon oluşturduğunuzda gerçekten anlamsızdır. Bununla birlikte, birçok kez otomata diğer bazı formalizmlerden (örn. NFA'ların belirlenmesi) tercüme edilerek inşa edilir, bu durumda fazladan durumlar elde etme olasılığınız yüksektir.

— Shaull

@Shaull: ε-geçişler veya ulaşılamaz durumlarla mı kastediyorsunuz? Tamam, bunları düşünmedim.

— Bergi