Indonesia
Hasilkan otomat terbatas yang mampu mengenali tata bahasa reguler dengan definisi formal elemen empat kali lipat.