Mesin finite-state: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.2 |
|||
Baris 215:
Perilaku dari FSM dapat diamati di banyak perangkat dalam masyarakat modern yang melakukan urutan tindakan yang ditentukan sebelumnya tergantung pada urutan peristiwa yang disajikan. Contoh sederhananya adalah [[mesin penjual otomatis]], yang mengeluarkan produk ketika kombinasi koin yang tepat disimpan, [[elevators]], yang urutan pemberhentiannya ditentukan oleh lantai yang diminta oleh pengendara, [[lampu lalu lintas]], yang mengubah urutan saat mobil menunggu, dan [[kunci kombinasi]], yang memerlukan masukan urutan angka dalam urutan yang benar.
Mesin finite-state memiliki daya komputasi yang lebih sedikit dibandingkan beberapa model komputasi lain seperti [[mesin Turing]].<ref name="Belzer2"
== Contoh: pintu putar yang dioperasikan dengan koin ==
[[Berkas:Turnstile_state_machine_colored.svg|jmpl|Diagram state untuk pintu putar]]
[[Berkas:Torniqueterevolution.jpg|jmpl|Pintu Putar]]
Contoh mekanisme sederhana yang dapat dimodelkan oleh mesin state adalah [[pintu putar]].<ref name="Koshy2"
Dianggap sebagai mesin state, pintu putar memiliki dua kemungkinan status: Terkunci dan Tidak Terkunci.<ref name="Koshy2" /> Ada dua kemungkinan masukan yang mempengaruhi statusnya: memasukkan koin ke dalam slot (koin) dan mendorong lengan (mendorong). Dalam keadaan terkunci, mendorong lengan tidak berpengaruh; tidak peduli berapa kali dorongan masukan diberikan, itu tetap dalam keadaan terkunci. Memasukkan koin - yaitu, memberi mesin masukan koin - akan menggeser status dari Terkunci ke Tidak Terkunci. Dalam keadaan tidak terkunci, memasukkan koin tambahan tidak berpengaruh; artinya, memberikan masukan koin tambahan tidak mengubah status. Namun, pelanggan mendorong lengan, memberikan masukan dorong, menggeser status kembali ke Terkunci.
Baris 316:
== Klasifikasi ==
Mesin keadaan-terbatas dapat dibagi lagi menjadi akseptor, pengklasifikasi, transduser, dan pengurut.<ref name="Keller2001"
=== Akseptor ===
Baris 467:
* Samek, M., [http://www.state-machine.com/psicc/index.php ''Practical Statecharts in C/C++''], CMP Books, 2002, {{ISBN|1-57820-110-1}}.
* Samek, M., [http://www.state-machine.com/psicc2/index.php ''Practical UML Statecharts in C/C++, 2nd Edition''], Newnes, 2008, {{ISBN|0-7506-8706-1}}.
* Gardner, T., [http://www.troyworks.com/cogs/ ''Advanced State Management''] {{Webarchive|url=https://web.archive.org/web/20081119071252/http://www.troyworks.com/cogs/ |date=2008-11-19 }}, 2007
* Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, {{ISBN|0-7923-8609-4}}.
* Timothy Kam, ''Synthesis of Finite State Machines: Functional Optimization''. Kluwer Academic Publishers, Boston 1997, {{ISBN|0-7923-9842-4}}
Baris 585:
* Samek, M., [http://www.state-machine.com/psicc/index.php ''Practical Statecharts in C/C++''], CMP Books, 2002, {{ISBN|1-57820-110-1}}.
* Samek, M., [http://www.state-machine.com/psicc2/index.php ''Practical UML Statecharts in C/C++, 2nd Edition''], Newnes, 2008, {{ISBN|0-7506-8706-1}}.
* Gardner, T., [http://www.troyworks.com/cogs/ ''Advanced State Management''] {{Webarchive|url=https://web.archive.org/web/20081119071252/http://www.troyworks.com/cogs/ |date=2008-11-19 }}, 2007
* Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, {{ISBN|0-7923-8609-4}}.
* Timothy Kam, ''Synthesis of Finite State Machines: Functional Optimization''. Kluwer Academic Publishers, Boston 1997, {{ISBN|0-7923-9842-4}}
|