khend: Finite State Automata

Minggu, 13 Mei 2012

Finite State Automata

"Finite state" beralih ke halaman ini. Untuk mesin state yang tak terbatas, lihat sistem state transisi . Untuk kesalahan-toleransi metodologi, lihat replikasi finite state

"SFSM" beralih ke halaman ini. Untuk perusahaan kereta api Italia, lihat Circumvesuviana .

"Automata Hingga" beralih ke halaman ini. Untuk kelompok elektro-industri, lihat Automata Hingga (band) .

Sebuah mesin finite-state (FSM) atau terbatas-negara otomat (jamak: automata), atau hanya finite state , adalah model matematika yang digunakan untuk merancang program komputer dan logika digital sirkuit. Hal ini disusun sebagai mesin abstrak yang dapat di salah satu dari sejumlah terbatas state. Mesin ini hanya dalam satu negara pada suatu waktu, negara itu di pada waktu tertentu disebut negara saat ini. Hal ini dapat berubah dari satu keadaan ke keadaan lain bila dimulai oleh peristiwa memicu atau kondisi, ini disebut transisi. Sebuah FSM tertentu didefinisikan dengan daftar negara-negara transisi mungkin dari tiap kondisi saat ini, dan kondisi memicu untuk setiap transisi.
Finite-state mesin dapat model sejumlah besar masalah, di antaranya adalah desain otomatisasi elektronik , protokol komunikasi desain, parsing dan aplikasi rekayasa lainnya. Dalam biologi dan kecerdasan buatan penelitian, negara bagian mesin atau hirarki dari mesin negara kadang-kadang digunakan untuk menggambarkan sistem saraf , dan dalam linguistik mereka dapat digunakan untuk menggambarkan tata bahasa alami bahasa .

Model Matematika

Sesuai dengan klasifikasi umum, definisi formal berikut ini ditemukan:

Sebuah mesin negara deterministik finite atau akseptor deterministik mesin negara yang terbatas adalah berlipat lima , Dimana:
- $\ Sigma$ adalah input alfabet (a, hingga non-kosong set simbol).
- $S$ adalah, hingga non-kosong set negara.
- $s_0$ adalah keadaan awal, unsur $S$ .
- $\ Delta$ adalah fungsi negara transisi: $\ Delta: S \ kali \ Sigma \ rightarrow S$ (Dalam otomat terbatas nondeterministic akan $\ Delta: S \ kali \ Sigma \ rightarrow \ mathcal {P} (S)$ , Yaitu, $\ Delta$ akan kembali satu set negara).
- $F$ adalah himpunan negara akhir, subset (mungkin kosong) dari $S$ .

Untuk FSMs baik deterministik dan non-deterministik, sangat konvensional untuk memungkinkan $\ Delta$ menjadi fungsi parsial , yaitu $\ Delta (q, x)$ tidak harus didefinisikan untuk setiap kombinasi $q \ isin S$ dan $x \ isin \ Sigma$ . Jika FSM $M$ ini dalam keadaan $q$ , Simbol selanjutnya adalah $x$ dan $\ Delta (q, x)$ tidak didefinisikan, maka $M$ bisa mengumumkan kesalahan (yaitu menolak input). Hal ini berguna dalam definisi mesin negara umum, tetapi kurang berguna ketika mengubah mesin. Beberapa algoritma dalam bentuk standar mereka mungkin memerlukan fungsi total.
Sebuah mesin finite-state adalah terbatas mesin Turing mana kepala hanya dapat melakukan "membaca" operasi, dan selalu bergerak dari kiri ke kanan.

Sebuah transduser negara yang terbatas adalah sextuple , Dimana:
- $\ Sigma$ adalah input alfabet (satu set kosong hingga non simbol).
- $\ Gamma$ adalah abjad keluaran (a, hingga non-kosong set simbol).
- $S$ adalah, hingga non-kosong set negara.
- $s_0$ adalah keadaan awal, unsur $S$ . Dalam sebuah robot yang terbatas nondeterministic , $s_0$ adalah seperangkat negara awal.
- $\ Delta$ adalah fungsi negara transisi: $\ Delta: S \ kali \ Sigma \ rightarrow S$ .
- $\ Omega$ adalah fungsi output.

Jika fungsi output adalah fungsi dari alfabet negara dan input ( $\ Omega: S \ kali \ Sigma \ rightarrow \ Gamma$ ) Definisi yang sesuai dengan model Mealy, dan dapat dimodelkan sebagai mesin Mealy . Jika fungsi keluaran hanya bergantung pada negara ( $\ Omega: S \ rightarrow \ Gamma$ ) Definisi yang sesuai dengan model Moore, dan dapat dimodelkan sebagai sebuah mesin Moore . Sebuah mesin finite-state tanpa fungsi output sama sekali dikenal sebagai semiautomaton atau sistem transisi .
Jika kita mengabaikan simbol keluaran pertama dari mesin Moore, $\ Omega (s_0)$ , Maka dapat dengan mudah dikonversi ke mesin Mealy output-setara dengan menetapkan fungsi output dari setiap transisi Mealy (yaitu pelabelan setiap tepi) dengan simbol output tertentu dari negara tujuan Moore. Transformasi Kebalikannya kurang jelas karena keadaan mesin Mealy mungkin memiliki label output yang berbeda pada transisi masuk nya (pinggiran). Setiap negara bagian tersebut perlu untuk dibagi di beberapa mesin Moore menyatakan, satu untuk setiap simbol keluaran insiden.

Untuk PDF nya klik link di bawah :

============> DOWNLOAD PDF

Artikel Terkait:

Cara Menghapus Virus Shortcut

Membuat Anti virus sederhana

Membuat anti virus sendiri

CARA MUDAH HACK WEBSITE