Saya membuat DFA acak untuk menguji algoritma reduksi DFA. Algoritma yang saya gunakan saat ini adalah sebagai berikut: untuk setiap status , untuk setiap simbol dalam alfabet , tambahkan \ delta (q, c) ke beberapa keadaan acak. Setiap negara bagian memiliki probabilitas yang sama untuk menjadi...