Teori otomata: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
k Bot: Perubahan kosmetika
Musakkarul (bicara | kontrib)
contoh NFA dan DFA
Baris 75:
Otomata berhingga deterministik ('''DFA''' - ''Deterministic Finite Automata'') adalah sebuah otomata yang fungsi transisinya adalah:
:<math>\delta: Q \times \Sigma \rightarrow Q</math>
:Contoh
:[[Berkas:DFA_Machine_Learn.jpg|jmpl|Mesin dfa]]Konfigurasi DFA disamping secara formal dinyatakan sebagai berikut Q = {q0 , q1 , q2 , q3 } Σ = {0,1} S = q0 F = { q0} <br />Fungsi transisi, biasanya fungsi-fungsi transisi ini kita sajikan dalam sebuah tabel transisi. Tabel transisi tersebut menunjukkan state state berikutnya untuk kombinasi state state dan input. Tabel transisi dari fungsi transisi adalah
 
=== Otomata Berhingga Non-Deterministik ===
Otomata berhingga non-deterministik ('''NFA''' - ''Nondeterministic Finite Automata'') berbeda dengan DFA dalam hal fungsi transisinya:
:<math>\delta: Q \times \Sigma \rightarrow \mathcal{P}(Q)</math>
:
 
Fungsi transisi dalam NFA memetakan pasangan <math>Q</math> dan <math>\Sigma</math> kepada [[himpunan kuasa]] dari Q. Fungsi transisi yang didefinisikan seperti ini memungkinkan suatu simbol masukan untuk mengakibatkan transisi dari sebuah ''state'' ke beberapa kemungkinan ''state'' yang lain.
 
Contoh NFA :
[[Berkas:NFA.jpg|jmpl|string 01001]]
 
* String diterima NFA bila terdapat suatu urutan transisi berdasarkan input, dari state awal ke state akhir.
* harus mencoba semua kemungkinan.
 
 
=== Otomata Pushdown ===
Baris 98 ⟶ 109:
== Referensi ==
 
{{reflist}}.
 
* [[John E. Hopcroft]], [[Jeffrey D. Ullman]] - ''Introduction to Automata Theory, Languages, and Computation''
*http://musakkarulml.student.budiluhur.blog/
*[http://www http://www.budiluhur.ac.id]
 
{{matematika-stub}}