Pertanyaan yang diberi tag finite-automata

11
Bisakah FSA menghitung?

Ini mungkin pertanyaan konyol. Tampak jelas bahwa FSA, karena terbatas, hanya dapat menghitung jumlah simbol dalam string inputnya hingga sejumlah yang dibatasi oleh jumlah negara bagian. Tapi sekarang anggaplah kita melengkapi FSA dengan kemampuan output (misalnya pencetakan). Maka akan sangat...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

11
Tidak dapat mengonversi dari NFA ke DFA

Saya memiliki masalah sederhana dalam membuat DFA yang menerima semua input yang dimulai dengan huruf ganda (aa, bb) atau diakhiri dengan huruf ganda (aa, bb), mengingat Σ = { a , b }Σ={Sebuah,b}\Sigma =\{a, b\} adalah set alfabet dari bahasa yang diberikan. Saya mencoba menyelesaikannya secara...