Apakah ada automata yang tidak terbatas?


35

Dalam teori automata, kita semua membaca automata sebagai automata terbatas, sejak awal. Yang ingin saya ketahui adalah, mengapa automata terbatas? Untuk lebih jelasnya, apa yang ada dalam otomat yang terbatas - alfabet, bahasa, string yang dibuat dengan ekspresi reguler, atau apa? Dan apakah ada (secara teori) automata non-terbatas?


1
Tentu saja bukan bahasa atau "string yang dibuat dengan ekspresi reguler"; banyak ekspresi reguler sederhana cocok dengan jumlah string yang tak terbatas (tetapi mereka dapat dikenali oleh robot terbatas).
alexis

Saya mengajukan pertanyaan dengan infinte: cs.stackexchange.com/questions/55864/…
Words Like Jared

Jawaban:


34

Semua model robot yang biasanya Anda temui akan terwakili secara halus; jika tidak akan ada banyak yang tak terhitung jumlahnya, yang berarti mereka tidak ditangkap oleh model lengkap Turing. Atau, dalam CS-think, mereka tidak akan berguna¹.

"Finite automata" disebut terbatas karena mereka hanya memiliki satu set konfigurasi yang terbatas (input string disamping). Automata pushdown, misalnya, memiliki tumpukan yang dapat memiliki konten sewenang-wenang - ada banyak kemungkinan konfigurasi.


Nota bene: Konfigurasi PDA masih terwakili secara terbatas! Faktanya, setiap model komputasi yang termasuk dalam Turing-computability harus memiliki konfigurasi yang terwakili secara halus, jika tidak TMs tidak akan dapat mensimulasikannya.


  1. Saya secara sadar mengabaikan hiperkomputasi di sini untuk tujuan pertanyaan ini.

Komentar bukan untuk diskusi panjang; percakapan ini telah dipindahkan ke obrolan .
Raphael

32

Nama lengkapnya adalah "finite state automata". Bagian yang krusial adalah bahwa keadaan otomat dapat sepenuhnya dikarakterisasi oleh suatu elemen dari sejumlah keadaan diskrit yang terbatas. Ini berarti bahwa jika keadaan (yang relevan) dari otomat melibatkan variabel bernilai nyata, terdapat jumlah potensial tak terhingga (mengesampingkan keterbatasan representasi titik apung), dan otomat tidak terbatas.

Ini mungkin tidak pernah terjadi dalam ilmu komputer teoretis, tetapi itu tidak terlalu eksotis dalam domain pemodelan urutan bilangan real. Hidden Markov Models dapat digunakan untuk memodelkan urutan angka sebagai output dari sistem probabilistik yang terdiri dari satu filter output untuk setiap keadaan model Markov (diskrit, terbatas) dengan keadaan yang tidak dapat diobservasi. Filter menghitung output bernilai riil berikutnya dari vektor output sebelumnya (model "autoregresif"), tetapi model Markov yang mendasarinya terbatas karena probabilitas transisinya hanya bergantung pada keadaan Markov saat ini.

Namun, artikel ini ( teks lengkap ) mengembangkan variasi di mana probabilitas transisi juga bergantung pada vektor bilangan real dari output sebelumnya. Keadaan sistem ini adalah kombinasi dari keadaan Markov diskrit dan tupel bilangan real ("model Markov keadaan campuran"), sehingga dapat dalam jumlah tak terbatas dari berbagai negara.

Singkatnya, automata tidak terbatas secara teori didefinisikan dengan baik, dan kadang-kadang bahkan ditemui.


1
Pengungkapan penuh: Saya adalah salah satu penulis makalah yang disebutkan. Saya tidak yakin apakah itu dianggap pengungkapan yang tepat atau promosi diri yang tidak relevan ...
alexis

6
Saya pikir tidak apa-apa untuk merujuk karya sendiri di tempat yang sesuai - jika Anda salah satu pakar terkemuka dalam suatu topik, kami senang Anda memilikinya! - dan pengungkapan sederhana seperti milik Anda sudah cukup. Terima kasih!
Raphael

Automata negara terbatas tidak termasuk automata pushdown, kan? Apakah ada alasan khusus sampai ke status bilangan real? Saya tidak yakin apakah saya kehilangan sesuatu di sini tentang mengapa contoh yang jelas ini tidak berfungsi atau jika Anda hanya kebetulan memilih contoh yang tidak biasa.
Mehrdad

1
Saya pikir dia mencoba untuk bertanya mengapa Anda tidak menggunakan non-FSA yang lebih konvensional seperti pushdown automaton alih-alih melompat ke sesuatu seperti variabel keadaan bernilai nyata.
user2357112 mendukung Monica

1
Ya, terutama karena itulah contoh yang saya pikirkan! Tetapi juga "keadaan" dari model Markov keadaan campuran terdiri dari sejumlah parameter tetap, tetapi masih ada jumlah keadaan tak terbatas (didefinisikan sebagai posisi saat ini + probabilitas transisi) karena beberapa parameter adalah bilangan real (tetapi mempengaruhi transisi, bukan hanya output). Dalam kasus PDA, non-finiteness berasal dari ukuran stack yang tidak terbatas; tetapi masih ada hanya sejumlah aturan terbatas, yang panjangnya terbatas, jadi pada satu langkah hanya ada sejumlah terbatas kemungkinan bebavior.
alexis

19

Dalam otomat terbatas, ada sedikit keterbatasan: jumlah negara, ukuran alfabet yang mendasarinya, dan panjang string yang diterima oleh mesin.

Anda tentu dapat mengendurkan kondisi keterbatasan ini dengan memungkinkan, katakanlah, mesin memiliki banyak keadaan tanpa batas, tetapi jika Anda melakukannya, mesin yang dihasilkan menjadi tidak menarik, dalam arti bahwa mesin tersebut dapat dirancang untuk menerima bahasa apa pun.


Dan bagaimana jika hanya alfabet yang tidak terbatas? bagaimana jika kita bekerja dengan ekspresi reguler pada Bilangan alami misalnya? Apakah itu mungkin?
parvin

8
Jika automatonnya terbatas tetapi alfabetnya tak terbatas, maka automaton itu akan memiliki jumlah transisi yang terbatas dari masing-masing negara. Karakter apa pun yang tidak terkait dengan salah satu transisi tidak akan dikenali oleh automaton. Sebagai hasilnya, Anda dapat mengganti alfabet tak terbatas dengan alfabet terbatas yang hanya berisi karakter yang muncul dalam transisi automaton, dan automaton masih akan menerima bahasa yang persis sama.
Kevin - Reinstate Monica

3
@parvin Tidak juga. Anda perlu memiliki jumlah transisi yang tak terbatas antara (jumlah terbatas) Anda saat itu - yang masih belum dapat Anda wakili. Jika Anda memilih predikat (seperti "semua input genap pergi dari A ke B, semua input ganjil beralih dari A ke C"), pada dasarnya Anda memecah alfabet menjadi beberapa kelas ekivalensi yang terbatas.
Bergi

@ Kevin, itu tergantung pada bagaimana Anda mendefinisikan "jumlah transisi yang terbatas". Pertimbangkan FSA (terbatas) biasa, dengan keadaan berikutnya dipilih sesuai dengan setiap partisi terbatas dari bilangan asli: misalnya, dengan sisa pembagian dengan 7. Atau pertimbangkan situasi serupa yang melibatkan bilangan real. Diagram keadaan sepenuhnya terbatas, tetapi itu didefinisikan dengan baik melalui alfabet tak terbatas.
alexis

@ Parvin Saya akan mengatakan jawabannya adalah "ya" (lihat komentar saya sebelumnya).
alexis

10

Faktanya, dalam teori automata (yang jauh berbeda dari asal-usul Kleene, Rabin dan Scott), ada banyak bentuk automata yang tidak terbatas. Ini muncul karena beberapa alasan.

Automata pushdown , misalnya, adalah automata yang memiliki serangkaian konfigurasi tak terbatas (ini memiliki sejumlah negara terbatas, tetapi kenyataannya adalah ini harus dianggap sebagai 'automata tak terbatas').

Dalam nada yang sama, ada contoh-contoh lain dari automata tak terbatas di mana ruang keadaan tidak terbatas, tetapi dengan banyak struktur. Misalnya seseorang menganggap kelas automata yang memiliki ruang keadaan sebagai (dimensi terbatas) ruang vektor, dan sebagai fungsi transisi peta linear (ditambah beberapa inisial dan hal-hal akhir). Ini dikenal sebagai automata tertimbang di atas bidang dasar (karena Schützenberger di 61). Ini dapat diminimalkan dan diuji untuk kesetaraan. Contoh lain termasuk register automata ( automata ini memiliki set register yang terbatas, dan mengerjakan alfabet tak terbatas: ini dapat membandingkan huruf dengan register dan menyimpan huruf dalam register), dan bentuk automata nominal yang lebih modern(yang memiliki ekspresi yang sama, tetapi memiliki fondasi dan properti yang lebih baik). Kekosongan automata seperti itu dapat ditentukan.

Aauua, dan sebuah negara menerima jika itu milik L). Ada juga objek terakhir (yang memiliki bahasa sebagai negara!). Keberadaan dua objek ini adalah salah satu cara untuk menjelaskan pada tingkat tinggi mengapa automata deterministik dapat diminimalkan dan terkait erat dengan kongruensi Myhill-Nerode.

Untuk menyimpulkan, ada automata tak terbatas, tetapi model yang pertama kali dipelajari dalam kuliah selalu yang terbatas.


2

Saya pikir pertanyaannya adalah mengasumsikan kesimpulan bahwa tidak ada automata keadaan tak terbatas ketika ada, mereka hanya tidak layak untuk diangkat.

Dalam Teori Automata, ada hierarki kekuatan model virtual yang berbeda. Yang saya pelajari memiliki 4 (yang saya ingat, sudah beberapa waktu), yang saya temukan di Wikipedia memiliki 5. Yang terlemah di kedua automata keadaan terbatas, dan yang terkuat adalah mesin Turing. Ada beberapa konsep level yang lebih kuat daripada mesin Turing yang secara longgar disebut komputasi hyper. Banyak deskripsi berbeda dari mesin virtual termasuk dalam salah satu level ini. Mesin Turing secara khusus dikenal untuk banyak model yang semuanya memiliki tingkat daya komputasi yang sama.

Automata keadaan tak terbatas, setidaknya satu yang didefinisikan secara formal, akan jatuh ke dalam salah satu level ini. Mungkin ada sesuatu yang sedikit menarik dalam menunjukkan bagaimana definisi ketat dari automata keadaan tak terbatas cocok ke dalam salah satu level ini, tetapi selain itu, tidak akan banyak berguna mengingat ada mesin virtual yang jauh lebih baik dipelajari yang mewakili setiap level . Ini mirip dengan bagaimana tidak ada banyak minat dalam satu miliar pita mesin Turing, karena itu tidak akan lebih kuat dari satu mesin pita Turing tetapi lebih rumit untuk dihadapi.

Sekarang, jika Anda kebetulan menemukan automata status tak terbatas yang tidak setara dengan tingkat hierarki yang ada, itu mungkin menarik. Tapi tanpa itu, automata keadaan tak terbatas sudah ditangkap dalam hierarki yang ada, dan mengingat komplikasi tambahan yang berhubungan dengan infinity, kita hanya menghindarinya dengan cara yang sama kita menghindari model mesin Turing yang terlalu rumit.


2

Versi tak terbatas (naif) mesin keadaan terbatas deterministik terlalu kuat . Hal seperti itu akan mampu "menghafal" bahasa apa pun, jadi tidak banyak yang bisa dipelajari dari mempertimbangkannya.

Misalnya, di atas alfabet biner, pertimbangkan otomat dalam bentuk pohon biner lengkap dengan ketinggian tak terbatas. Setiap string yang mungkin Anda pertimbangkan sebagai input sesuai secara unik dengan simpul pohon, sehingga Anda dapat membuat penentu untuk bahasa apa pun hanya dengan membuat node yang sesuai menerima status.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.