Saya sedang mengerjakan set masalah untuk kelas, dan memikirkan pertanyaan terkait dengan apa yang saya kerjakan. Apakah ada jumlah minimum status yang harus dimiliki otomat terbatas untuk menerima string biner yang mewakili angka yang dapat dibagi oleh bilangan bulat n? Dalam set masalah sebelumnya, saya bisa membangun DFA yang menerima string biner dibagi 3 dengan 3 status. Apakah ini kebetulan, atau adakah sesuatu yang inheren dengan masalah umum mendeteksi string yang dapat dibagi oleh n yang menunjukkan jumlah minimum negara?
Saya berjanji ini tidak akan menjawab pertanyaan pekerjaan rumah untuk saya! :)