Persamaan Hak Dan Bagaimana Persamaan Derajat Di Dalam Masyarakat Indonesia Saat Ini ..

Persamaan Hak Dan Bagaimana Persamaan Derajat Di Dalam Masyarakat Indonesia Saat Ini ..

Didalam sebuah Negara atau bernegara pasti memiliki yang namanya hak, khususnya dinegara kita ini banyak sekali contoh  hak yang ada seperti hak didalam beribadah, hak dalam belajar, hak didalam bertempat tinggal, dll. Hak manusia adalah hak-hak dasar yang dimiliki pribadi secara kodrat sebagaianugerah Tuhan Yang Maha Esa. Hak asasi itu meliputi antara lain hak hidup, hak kemerdekaan (kebebasan), hak persamaan serta hak memiliki sesuatu

Arti Prinsip Persamaan Derajat

Persamaan harkat adalah persamaan nilai, harga, taraf yang membedakan makhluk yang satu dengan makhluk yang lain. Harkat manusia adalah nilai manusia sebagai makhluk Tuhan yang dibekalicipta,  rasa,  karsa dan hak-hak serta kewajiban asasi manusia. Martabat adalah tingkatan harkat kemanusiaan dan kedudukan yang terhormat. Sedangkan derajat kemanusiaan adalah tingkatan, martabat dan kedudukan manusiasebagai makhluk Tuhan yang memiliki kemampuan kodrat, hak dan kewajiban asasi. Dengan adanya persamaan harkat, derajat dan martabat manusia, setiap orang harus mengakui serta menghormati akan adanya hak-hak derajat dan martabat manusia. Sikap ini harus ditumbuhkan dan dipelihara dalam hubungan kemanusiaan, baik dalamlingkungan keluarga, lembaga pendidikan maupun di lingkungan pergaulan masyarakat. Manusia dikarunian potensi berpikir, rasa dan cipta, kodrat yang sama sebagai makhluk pribadi (individu) dan sebagai makhluk masyarakat (sosial). Manusia akan mempunyai arti apabila ia hidup bersama-sama manusia lainnya di dalam masyarakat.

Dalam masyarakat manapun di dunia bukan hanya diindonesia saja , ini pasti akan ditemui sebuah variasi , dimana keadaan tidak akan pernah sama. Tentunya yang kita tidak bisa sangkal bahwa dunia bergerak dengan dinamis. Salah satunya alam, alam merupakan variasi dari beberapa organisme yang hidup sepeti Pohon. Pohon di alam banyak memiliki jenis dan bentuk sehingga karena banyaknya bentuk tersebut dibuatlah klasifikasi atau penggolongan agar, masing-masing pohon dapat digolongkan sehingga kita dapat mengetahui jenis-jenis pohon tersebut.

Hal tersebut tidak berbeda dengan kita sebagai manusia, yang notabene-nya adalah makhluk sosial. Secara kita tidak sadari bahwa dalam kehidupan kita bermasyarakan ada suatu pengelompokan golongan-golongan masyarakat. Dari pengelompokkan tersebut akan terbentuk lapisan-lapisan yang sosial yang membagi masyarakat yang sering disebut pelapisan sosial. Pelapisan sosial mungkin sudah dikenal oleh masyarakat Indonesia sejak zaman Hindu masuk di Indonesia dimana Hindu menerapkan sistem kasta, artinya kasta-kasta ini membuat sistem lapisan sosial dalam masyarakat. Tetapi untuk lapisan sosial saat ini berbeda dengan pada zaman hindu. Menurut salah satu pendapat tokoh sosial yaitu Pitirim A sorokin, Beliau mengatakan bahwa pelapisan sosial adalah perbedaan penduduk atau masyarakat ke dalam kelas-kelas secara bertingkat.

          Pelapisan masyarakat ini biasanya dipengaruhi oleh keadaan hidup masyarakat, contohnya masyakat perkotaan. Masyarakat kota akan dihargai apabila memiliki rumah dan mobil mewah, berbeda dengan masyarakat pedesaan. Masyarakat pedesaan akan lebih dihargai apabila memiliki hektaran sawah didesanya. Selain itu pula pelapisan sosial ini membuat masyarakat akan ber etika sesuai dengan lapisan sosial, contohnya lapisan sosial orang menengah keatas akan lebih memperhatikan prilaku mereka dibandingkan masyarakat lapisan sosial bawah. Tentunya hal itu tersebut terjadi karena adanya pelapisan sosial.

Bahkan diIndonesia sendiri pun persamaan hak kemanusiaan sangat di perhatikan , persamaan derjat pun bagi setiap masyarakat disetarakan , baik dalam bidang hukum dan lain sebagainya .

Tentunya dengan zaman yang terus berkembang, walaupun terdapat pelapisan sosial namun masyarakat tidak membeda-bedakan manusia sesuai dengan lapisan sosial karena dalam masyarakat kita mengenal istilah Kesamaan Derajat. Setiap manusia memiliki Hak-hak dan derajat yang sama sebagai makhluk Tuhan. Hal ini karena masyarakat mengakui dengan hak yang dikenal dengan hak asasi manusia. Hak Asasi Manusia merupakan hak yang datangnya dari Tuhan YME, Artinya orang yang tua maupun muda atau yang miskin dengan yang Kaya memiliki Hak Asasi Yang sama sehingga terjadi kesamaan derajat pada manusia.

Namun sayangnya kesamaan derajat sangat kurang diperhatikan, sehingga penggolongan masyarakat lebih dominan. Tanpa disadari kita yang berada dimasyarakat ini juga telah digolongkan namun agak berbeda dengan pelapisan sosial. Jika pelapisan sosial ini dibagi akibat kemampuan yang kita miliki, berbeda dengan penggolongan. Dalam masyarakat ada 2 golongan masyarakat. Ada golongan Elite dan golongan Massa. Golongan Elite merupakan golongan penguasa masyarakat, artinya orang-orang pada golongan ini memiliki kemampuan untuk menggerakkan massa. Sementara massa merupakan golongan yang digerakaan oleh kelompok elite untuk mencapai suatu tujuan.

Tentunya baik golongan dan lapisan sosial merupakan sesuatu hal yang kita sudah tidak relevan dengan masyarakat. Karena adanya penggolongan dengan lapisan sosial ini mengakibatkan pengabaian hak-hak dasar yang dimiliki oleh manusia sejak lahir, yaitu Hak Asasi Manusia. Hak yang membuat sebuah persamaan derajat bagi semua Individu yang ada Di Indonesia.

            Jadi kesimpulannya ialah di Indonesia persamaan derajat dan setiap masyarakat belum mencapai tingkat kesempurnaan dikarenakan persamaan hak dan derajat di Indonesia belumlah mencapai tingkat kesetarafan, karena di Indonesia sering kali kita lihat bagaimana para penguasa dapat mempermainkan hokum dengan sangat mudahnya, dibandingkan masyarakat tingkat bawah. Dari sini terlihat jelas bahwa persamaan hak dan derajat di Indonesia belum mencapai titik kesamaan .

Surat Kecil Untuk Tuhan

Keke adalah gadis cantik yang berusia 13 tahun dan hidupnya tampak sempurna, karena ia memiliki kedua orang tua yang sangat menyayanginya walaupun sekarang kedua orang tuanya sudah berpisah. Dan selain Keke memiliki orang tua yang sangat menyayanginya, Keke juga memiliki dua orang kakak lelakinya yang juga sangat menyayanginya. Dan tidak hanya itu Keke juga termasuk orang  dalam kondisi keuangan keluarga yang berkecukupan, serta memiliki enam sahabat dekat yang kompak dan kekasih bernama Andy. Mungkin untuk orang lain, Keke adalah seorang gadis yang mendekati sempurna.

Namun ternyata Keke tidak sesempurna yang kita bayangkan, karena berita sedih harus diterima Keke, ternyata ia mengidap penyakit yang disebut Rhabdomyosarcoma (kanker jaringan lunak) dan sudah berada di stadium 3. Keke adalah pasien pertama di Indonesia dan dokter menyatakan bahwa usianya tinggal beberapa bulan lagi. Tapi ayah Keke tak menyerah, Keke pun dibawah berobat kemana-mana yang penting dapat menyembuhkan penyakit itu, dan pada akhirnya Keke harus menjalani tindakan kemotrapi untuk membunuh sel kanker yang ada didalam tubuhnya itu, hampir selama setahun Keke harus menjalani kemotrapi itu yang membuat rambut Keke rontok akibat efek samping dari kemotrapi tersebut, dan efek samping lainnya seperti: kulit kering dan ia sering merasa perutnya mual. Dan karena kemotrapi itu pulalah Keke tampak buruk sekali, kecantikannya seakan hilang dari dirinya.

Dan karena kanker itu pulalah, Keke sering mimisan, sulit bernapas dan matanya memerah lalu berair dan lama kelamaan ada benjolan yang semakin hari semakin besar di bawah kelopak mata bagian kiri. Tapi karena Keke adalah gadis yang memiliki keistimewaan, Keke tidak pernah mau menyerah dengan penyakitnya. Dengan keadaan yang begitu memperhatinkan, ia tetap ingin ikut ujian sekolah. Dan al hasil Keke bukan hanya memiliki orang tua, kakak, sahabat, dan pacar yang menyayanginya, tetapi Keke juga anak yang pintar di sekolahnya. Sehingga Bu Megawati sampai memberinya peringkat sebagai ‘Siswi Teladan’.

Dan akhirnya, Ketabahan dan kesebaran Keke mendapat hadiahnya, karena dokter akhirnya menyatakan Keke sembuh dan dapat beraktivitas seperti biasa. Dan berita kesembuhan itu membuat bahagia semua orang yang ada di sekitarnya, sehingga membuat ayahnya berencana untuk mengadakan syukuran atas kesembuhan Keke, dan betapa senangnya Keke, karena ia bisa kembali seperti dulu lagi, bisa berkumpul dengan keluarganya, dengan 6 sahabatnya, dan terlebih-lebih dengan sahabatnya. Dan setahun lamanya ia bisa menikmati hari-hari seperti dulu, sebelum kanker itu datang.

 Setahun lamanya Keke bisa menikmati kebahagiaan itu datang, tapi ternyata, tanda-tanda itu datang lagi. Keke mulai mimisan lagi, matanya memerah dan sering berair. Keke mulai takut dengan tanda-tanda yang pernah ia rasakan sebelumnya, tetapi Keke belum mau menceritakan kepada ayah dan kakaknya. Keke masih yakin, tidak ada yang terjadi dengan dirinya. Sampai suatu saat benjolan itu mulai ada lagi dibawah kelompak matanya. Dan Keke tidak bisa lagi menyembunyikan itu dari keluarga dan sahabat-sahabatnya. Akhirnya Keke bercerita pada ayahnya, bahwa tanda-tanda kanker itu datang lagi. Dan ayah Keke pun dengan sigap langsung membawa Keke menemui dokter yang dulu pernah menyembuhkannya. Dan akhirnya Keke pun harus masuk ke dalam sebuah kapsul dan mulailah banyak sinar merah yang menerangi tubuhnya, itu adalah alat yang digunakan untuk menditeksi segala penyakit yang ada didalam tubuh seseorang. Dan akhirnya dokter pun menyimpulkan bahwa kanker itu kembali lagi. Dan berita itu sangat mengagetkan dan membuat sedih ayah, tetapi entah mengapa Keke mulai bisa menerima kanker itu bersarang ditubuhnya, walaupun sebenarnya Keke ingin sekali kanker itu tidak ada lagi di tubuhnya.

Tetapi ada yang lebih menyedihkan dari berita itu, entah mengapa, kanker kembali menyerang lebih parah dari sebelumnya, dan dokter pun menyatakan bahwa kanker itu jauh lebih ganas dari kanker setahun sebelumnya yang ada di tubuhnya, bahkan kanker tersebut tidak kalah walaupun telah dilakukan kemotrapi. Dan dokterpu mulai menceritakan keadaan yang sesungguhnya pada ayah Keke bahwa kecil harapan untuk Keke untuk bisa sembuh seperti dulu lagi. Berita itu sangat memukul perasaan ayah dan sangat membuat keluarga, sahabat dan pacar keke sangat sedih. Dan Keke pun tahu ia makin lemah, tapi Keke tak ingin tampak kalah, dan ia berusaha selalu tegar dan gigih melawan penyakitnya demi keluarga yang dicintainya dan sahabat-sahabatnya yang setia. Walaupun ia tahu, tidak ada kesempatan untuknya bisa kembali seperti dulu lagi. Tetapi dia tetap tersenyum dan berusaha untuk bisa menyenangkan orang yang menyayanginya dan orang yang disayanginya.

Keke mulai terbiasa menjalani sisa hidupnya bersama kanker yang ada ditubuhnya, walaupun terkadang Keke mulai merasa lelah dan sakit menahan sakit yang ia rasakan, tetapi Keke tetap terlihat kuat di depan semua sahabat dan keluarganya, karena ia tidak mau orang yang disayangi terus-terusan mengeluarkan air mata untuk menangisinya. Dengan benjolan yang semakin membesar di bawah kelopak matanya, ia tetap berusaha tersenyum bermain dengan sahabat, kakak-kakaknya dan ayahnya. Mereka menghabiskan waktu bersama dengan bahagia.

Sampai suatu hari, Keke merasa tidak bisa lagi menahan rasa sakitnya dan Keke mulai merasa sangat lemah. Dan akhirnya Keke dibawa ke rumah sakit dan menjalani rawat inap. Dan disaat keke tertidur keke merasa berada disebuah tempat yang snagat indah, entah apakah itu mimpi, tetapi Keke merasa itu seperti nyata, di tempat itu, Keke merasa semua penyakitnya tidak ia rasakan lagi dan pada saat itu Keke bertemu dengan seorang perempuan cantik dan membawa Keke kedalam rumah yang begitu indah. Dan pada saat itu Keke pun  mengatakan ingin berada di rumah itu. Dan mendengar perkataan itu, perempuan itu bilang, bahwa keke harus berpamitan dengan ayah, kakak, ibunya, sahabatnya dan juga kepada pacarnya, supaya mereka bisa tenang. Akhirnya keke setuju, dan ketika ia membuka matanya, ia sudah melihat semua orang yang disayanginya berada disitu dan menangis. Dan kesadaran keke dari tidurnya itu hanya untuk berpamitan dan meminta ijin untuk ikut dengan perempuan itu, dan dengan berat hati dan dengan menangis ayah keke mengijinkan. Dan itu adalah pertemuan terakhir Keke dengan semua orang yang disayanginya.

Jadi nilai sosial yang terkandung dalam film Surat Kecil Untuk Tuhan adalah tentang sebuah inspirasi dalam kehidupan bagaimana caranya agar kita bisa menghargai hidup kita sendiri. Seperti seorang gadis kecil yang cantik ia mampu berjuang hidup dengan begitu hebatnya karena penyakit ganasnya yang menyerang tubuhnya, hingga di detik – detik kematiannya ia dapat merampungkan Sebuat surat yang ditujukan kepada Tuhan dan kepada kita semua.

ANDAI Aku BISA KEMBALI
Aku INGIN TIDAK ADA TANGISAN
ANDAI Aku BISA KEMBALI
Aku TIDAK INGIN ADA LAGI HAL YANG SAMA TERJADI PADAKU
TERJADI PADA SIAPAPUN
TUHAN ANDAI Aku BISA MEMOHON
JANGAN ADA TANGIS DAN DUKA DI DUNIA LAGI
TUHAN ANDAI Aku BISA MENULIS SURAT UNTUKMU
JANGAN PISAHKAN Aku DARI SAHABAT DAN ORANG YANG Aku SAYANGIN.
Aku INGIN MENJADI DEWASA SEPERTI BURUNG YANG BISA TERBANG KETIKA IA DEWASA
Aku INGIN AYAH MELIHAT Aku KETIKA Aku MEMILIKI LAGI KEINDAHAN GERAIAN RAMBUT..
TUHAN SURAT KECILKU INI..
ADALAH PERMINTAAN TERAKHIKU ANDAI Aku BISA KEMBALI..

planning to next life

Planning saya kedepan ialah yang pertama saya ingin membahagiakan mama  dimasa tuanya dan semua keluarga besar saya. Dan yang kedua ialah ingin menjadi Analys System yang hebat dan ingin sekali mempunyai kehidupan yang cukup untuk saya dan keluarga kelak nanti.

KONSEP DASAR PEMROGRAMAN

                Komputer adalah mesin yang dapat melaksanakan seperangkat perintah dasar (instruction set).  Agar komputer dapat melakukan sesuatu hal, harus diberikan perintah yang dapat dilaksanakannya, yaitu dalam bentuk kumpulan perintah-perintah dasar.

Program adalah kumpulan instruksi yang digunakan untuk mengatur komputer agar melakukan suatu tindakan tertentu. Tanpa program, komputer sesungguhnya tidak dapat berbuat apa-apa. Itulah sebabnya sering dikatakan bahwa komputer mencakup tiga aspek penting, yaitu berupa perangkat keras (hardware), perangkat lunak (software) yang dalam hal ini berupa program, perangkat akal (brainware) atau orang yang berperan dalam operasi komputer maupun pengembangan perangkat lunak (operator).

Bahasa pemrograman adalah teknik komunikasi standar untuk mengekspresikan instruksi kepada komputer. Tujuan dari pemrograman adalah untuk memuat suatu program yang dapat melakukan suatu perhitungan atau 'pekerjaan' sesuai dengan keinginan si pemrogram Untuk dapat melakukan pemrograman, diperlukan keterampilan dalam algoritma, logika, bahasa pemrograman, dan di banyak kasus, pengetahuan-pengetahuan lain seperti matematika.

Untuk dapat membuat program komputer, harus dikuasai bahasa komputer. Berbagai bahasa komputer telah diciptakan untuk membantu manusia memprogram komputer. Berdasarkan tingkatannya dikenal beberapa tingkat bahasa pemrograman diantaranya:

1. Bahasa Pemrograman Tingkat Tinggi
            Merupakan bahasa tingkat tinggi yang mempunyai ciri-ciri mudah dimengerti karena kedekatannya terhadap bahasa sehari – hari. Sebuah pernyataan program diterjemahkan kepada sebuah atau beberapa mesin dengan menggunakan compiler.Sebagai contoh adalah : JAVA, C++, .NET

2. Bahasa Pemrograman Tingkat Rendah
            Bahasa pemrograman generasi pertama. Bahasa jenis ini sangat sulit dimengerti karena instruksinya menggunakan bahasa mesin. Disebut juga dengan bahasa assembly merupakan bahasa dengan pemetaan satu – persatu terhadap instruksi komputer. Setiap intruksi assembly diterjemahkan dengan menggunakan assembler.

3. Bahasa Pemrograman Tingkat Menengah
            Dimana penggunaan instruksi telah mendekati bahasa sehari – hari, walaupun masih cukup sulit untuk dimengerti karena menggunakan singkatan – singkatan seperti STO yang berarti simpan (STORE) dan MOV yang artinya pindah (MOVE). Yang tergolong dalam bahasa ini adalah Fortran

Struktur bahasa pemrograman
*semantik & Sintaks
*Variabel & konstanta
*Tipe Data
*Data terstruktur
*Ekspresi & Pernyataan

Jenis Bahasa Pemrograman
*Imperative Programming Language
*Functional Programming language
*Logic Programming language
*Object Oriented Programming language

Bahasa pemrograman merupakan suatu teknik komando/instruksi standar untuk memerintah komputer.
Berikut adalah penjelasan tentang bahasa pemrograman apa saja yang biasa digunakan untuk membuat suatu website :

1. Bahasa Pemrograman HTML
            HyperText Markup Language (HTML) adalah sebuah bahasa markup yang digunakan untuk membuat sebuah halaman web dan menampilkan berbagai informasi di dalam sebuah browser Internet.
HTML saat ini merupakan standar Internet yang didefinisikan dan dikendalikan penggunaannya oleh World Wide Web Consortium (W3C).
HTML berupa kode-kode tag yang menginstruksikan browser untuk menghasilkan tampilan sesuai dengan yang diinginkan.
Sebuah file yang merupakan file HTML dapat dibuka dengan menggunakan browser web seperti Mozilla Firefox atau Microsoft Internet Explorer.

2. Bahasa Pemrograman PHP
            PHP adalah bahasa pemrograman script yang paling banyak dipakai saat ini.
PHP pertama kali dibuat oleh Rasmus Lerdorf pada tahun 1995. Pada waktu itu PHP masih bernama FI (Form Interpreted), yang wujudnya berupa sekumpulan script yang digunakan untuk mengolah data form dari web.
PHP banyak dipakai untuk membuat situs web yang dinamis, walaupun tidak tertutup kemungkinan digunakan untuk pemakaian lain.
PHP biasanya berjalan pada sistem operasi linux (PHP juga bisa dijalankan dengan hosting windows).

3. Bahasa Pemrograman ASP
            ASP adalah singkatan dari Active Server Pages yang merupakan salah satu bahasa pemograman web untuk menciptakan halaman web yang dinamis.
ASP merupakan salah satu produk teknologi yang disediakan oleh Microsoft.
ASP bekerja pada web server dan merupakan server side scripting.

4. Bahasa Pemrograman XML
            Extensible Markup Language (XML) adalah bahasa markup serbaguna yang direkomendasikan W3C untuk mendeskripsikan berbagai macam data.
XML menggunakan markup tags seperti halnya HTML namun penggunaannya tidak terbatas pada tampilan halaman web saja.
XML merupakan suatu metode dalam membuat penanda/markup pada sebuah dokumen.

5. Bahasa Pemrograman WML
            WML adalah kepanjangan dari Wireless Markup Language, yaitu bahasa pemrograman yang digunakan dalam aplikasi berbasis XML (eXtensible Markup Langauge). WML ini adalah bahasa pemrograman yang digunakan dalam aplikasi wireless. WML merupakan analogi dari HTML yang berjalan pada protocol nirkabel.

6. Bahasa Pemrograman PERL
            Perl adalah bahasa pemrograman untuk mesin dengan sistem operasi Unix (SunOS, Linux, BSD, HP-UX), juga tersedia untuk sistem operasi seperti DOS, Windows, PowerPC, BeOS, VMS, EBCDIC, dan PocketPC. PERL merupakan bahasa pemograman yang mirip bahasa pemograman C.

7. Bahasa Pemrograman CFM
            Cfm dibuat menggunakan tag ColdFusion dengan software Adobe ColdFusion / BlueDragon / Coldfusion Studio. Syntax coldfusion berbasis html.

8. Bahasa Pemrograman Javascript
            Javascript adalah bahasa scripting yang handal yang berjalan pada sisi client. JavaScript merupakan sebuah bahasa scripting yang dikembangkan oleh Netscape. Untuk menjalankan script yang ditulis dengan JavaScript kita membutuhkan JavaScript-enabled browser yaitu browser yang mampu menjalankan JavaScript.

9. Bahasa Pemrograman CSS
            Cascading Style Sheets (CSS) adalah suatu bahasa stylesheet yang digunakan untuk mengatur tampilan suatu dokumen yang ditulis dalam bahasa markup. Penggunaan yang paling umum dari CSS adalah untuk memformat halaman web yang ditulis dengan HTML dan XHTML.
Walaupun demikian, bahasanya sendiri dapat dipergunakan untuk semua jenis dokumen XML termasuk SVG dan XUL. Spesifikasi CSS diatur oleh World Wide Web Consortium (W3C).

Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan padamodel komputasi, menggunakan algoritma. Bidang ini dibagi menjadi dua cabang: teori komputabilitas dan teori kompleksitas, namun kedua cabang berurusan dengan model formal komputasi.

Pembagian Model komputasi ada 3 yaitu :

1. Mesin Mealy

Dalam teori komputasi sebagai konsep dasar sebuah komputer, mesin Mealy adalah otomasi fasa berhingga (finite state automaton atau finite state tranducer) yang menghasilkan keluaran berdasarkan fasa saat itu dan bagian masukan/input. Dalam hal ini, diagram fasa (state diagram) dari mesin Mealy memiliki sinyal masukan dan sinyal keluaran untuk tiap transisi. Prinsip ini berbeda dengan mesin Moore yang hanya menghasilkan keluaran/output pada tiap fasa. Nama Mealy diambil dari “G. H. Mealy” seorang perintis mesin-fasa (state-machine) yang menulis karangan “A Method for Synthesizing Sequential Circuits” pada tahun 1955.

2. Mesin Moore

Dalam teori komputasi sebagai prinsip dasar komputer, mesin Moore adalah otomasi fasa berhingga (finite state automaton) di mana keluarannya ditentukan hanya oleh fasa saat itu (dan tidak terpengaruh oleh bagian masukan/input). Diagram fasa (state diagram) dari mesin Moore memiliki sinyal keluaran untuk masing-masing fasa. Hal ini berbeda dengan mesin Mealy yang mempunyai keluaran untuk tiap transisi. Nama Moore diambil dari “Edward F. Moore” seorang ilmuwan komputer dan perintis mesin-fasa (state-machine) yang menulis karangan “Gedanken-experiments on Sequential Machines”.

3. Petri Net

Petri net adalah salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari place, transition, dan tanda panah yang menghubungkan keduanya. Di samping itu, untuk merepresentasikan keadaan sistem, token diletakkan pada place tertentu. Ketika sebuah transition terpantik, token akan bertransisi sesuai tanda panah. Petri net pertama kali diajukkan oleh Carl Adam Petri pada tahun 1962.

DOMAIN AND TYPE

Konsep Nilai, Domain, dan Type 

Suatu nilai (value) adalah hal apapun yang mungkin dapat dievaluasi, disimpan dalam suatu struktur data, dikirimkan sebagai suatu argumentasi atau dikembalikan lagi sebagai hasil.

Suatu perhitungan adalah suatu urutan operasi yang diberlakukan untuk menghasilkan suatu nilai. Dengan demikian nilai-nilai dan operasi adalah dasar perhitungan.

Dalam matematika, kumpulan dari argumen-argumen dan hasil-hasil dari fungsi dikenal dengan domain dan co-domain. Domain akan ditandai sebagai kumpulan dari nilai-nilai yang dikirimkan sebagai argumen-argumen atau dikembalikan sebagai hasil.

Nilai-nilai kebenaran, karakter, integer, real, file, pointers, record, set, prosedur dan abstrak fungsi, lingkungan, perintah dan definisi tidak lain bagian dari bahasa pemrograman.

Suatu domain adalah satu kumpulan elemen-elemen dan digabungkan dengan sekumpulan operasi.

Kategori Domain

Dua kategori domain, yaitu :

a.    Primitive Domain

Sifatnya atomic

b.    Compound Domain

Kumpulan dari nilai-nilai yang dibangun dari domain-domain pembangun satu atau domain pembangun yang lain.

Teori Elemen-Elemen Domain

Ada beberapa compound domain yang digunakan dalam computer sign, yaitu: array, tupple, record, union, set, list, tree, file, relation, definition dan mapping.

Compound domain dibangun oleh suatu domain pembangun. Suatu domain pembangun adalah :

a.    Product domain

b.    Sum domain

c.Function domain

d.    Power domain

e.    Recursive domain

Product Domain

Domain-domain yang dibangun oleh pembangun product domain disebut tuples dalam ML, record dalam Cobol, Pascal dan ADA, struktur dalam C dan C++. Bentuk product domain adalah dasar dari database relational dan pemrograman logic.

Pada kasus biner, product domain pembangun, x, membangun domain A x B dari domain A dan B.

Jika a adalah elemen dari A dan b adalah suatu elemen dari B maka (a,b) adalah suatu elemen dari A x B.

                  A X B = {(a,b)| a in A, b in B}

Product Domain : D₀ x … x D_n

Assembly operation: (a₀,…,a_n) in D₀ x…x D_n where a_i in D_i and

D₀ x…x D_n = {(a₀,…a_n) | a_i in D_i}

Disassembly operation: (a₀,…,a_n) | i = a_i for 0 <= i <= n

Domain produk disebut “Cartesian” atau “Cross” produk. Dalam Pascal disebut record, sedangkan dalam C disebut suatu struktur.

Sum Domain

Domain-domain yang dibangun oleh pembangun sum domain disebut varian record dalam Pascal dan ADA, Unions dalam Algol-68, Constructor dalam ML.

Dalam kasus biner, sum domain pembangun,+, membangun domain A + B dari domain A dan B.

Jika a adalah elemen dari A dan b adalah elemen dari B maka (A,a) dan (B,b) adalah unsur-unsur A + B

                  A + B = {(A,a) | a in A} union {(B,b) | b in B}

Dimana A dan B disebut tags dan digunakan untuk membedakan pendukung elemen A dan pendukung elemen B.

Sum domain disebut juga disjoint union atau co-product domain. Didalam Pascal disebut record varian dan dalam C disebut suatu struktur.

Sum domain : D₀ +…+ D_n

Assembly operations: (Di, di) in D₀ +…+ D_n and D₀ +…+ D_n = union_i = 0 n {(Di,d) | d in Di}

Disassembly operations: Di(Di,di) = di

Function Domain

Domain-domain yang dibangun oleh pembangun function domain disebut fungsi di dalam Haskell, prosedur di dalam Modula-3 dan proses dalam SR.

Pembangun function domain membentuk domain A à B dari domain A dan B. domain A à B terdiri dari semua fungsi A ke B. A disebut domain dan B disebut co-domain.

(lamda x.e) adalah suatu elemen di A à B dimana e adalah suatu ungkapan yang berisi kejadian dari suatu identifier x, dimana a adalah nilai A merubah kejadian x di dalam e, nilai e[a:x] menghasilkan B.

Function Domain : A à B

Assembly operation: (lamda x.E) in A à B where for all a in A, E[x:a] is a unique value in B

Disassembly operation: (g a) in B, for g in A à b and a in A

Power Domain

Teori set yang menyediakan suatu notasi untuk uraian perhitungan. setL adalah suatu bahasa pemrograman yang didasarkan pada kumpulan (set) dan digunakan untuk menyediakan compiler ADA. Pascal menyediakan operasi set union dan intersection.

Kumpulan dari semua subset dari set adalah power set digambarkan sebagai berikut:

P^S = { s | s is a subset of S}

Subtypes dan subranges adalah contoh dari pembangun power set.

Beberapa bahasa menyediakan mekanisme untuk dekomposisi suatu jenis ke dalam subtypes. Enumerasi adalah elemen dari subtype yang lainnya adalah subranges.

Power domain membangun suatu domain dari elemen-elemen set. Untuk domain A, pembangun power domain P() menciptakan domain P(A), suatu kumpulan yang anggotanya adalah subset dari A.

Power Domain : PD

Assembly operations: ø in PD, {a} in PD for a in D, and Si union Sj in PD for Si, Sj in PD

Recursively Defined Domain

Recursively defined domain adalah domain yang didefinisikan dari bentuk

                  D : … D …

Definisi disebut Recursively sebab nama domain “recurs” pada sisi kanan dari definisi. Recursively defined domain tergantung pada abstrak karena nama domain adalah suatu bagian penting dari definisi domain.

Lebih dari satu set boleh mencukupi suatu recursively defined. Bagaimanapun, mungkin saja ditunjukkan bahwa suatu recursively defined selalu mempunyai solusi terkecil. Solusi terkecil adalah suatu subset solusi yang lain.

Limit Construction

D₀ = null

D_i+1 = e[D:D_i] for i = 0,…

D = lim_i à _infty D_i

Type System

Presentase besar kesalahan di dalam program adalah dalam kaitan dengan operasi ke object jenis yang bertentangan. Type system telah dikembangkan untuk membantu programmer dalam pendeteksian kesalahan.

Suatu type system adalah satu set aturan untuk mendefinisikan jenis dan menghubungkan suatu type dengan ekspresi dalam bahasa. Suatu type system menolak suatu ekspresi jika tidak menghubungkan suatu type dengan ekspresi. Type checking boleh berjalan pada waktu kompilasi atau waktu berjalan atau kedua-duanya.

Jika kesalahan diharapkan untuk dideteksi pada waktu kompilasi maka suatu static type checking system diperlukan. Satu pendekatan ke static type checking memerlukan programmer untuk menetapkan type masing-masing obyek di dalam program.

Ini mengizinkan compiler untuk melaksanakan type checking sebelum pelaksanaan program dan ini adalah pendekatan yang diambil oleh bahasa seperti Pascal, ADA, C++ dan Java.

Jika pendeteksian kesalahan diharapkan untuk ditunda sampai waktu pelaksanaan, maka dinamic type checking diperlukan.

Di dalam dinamic type checking, masing-masing nilai data berlabel dengan type informasi sehingga lingkungan waktu berjalan dapat memeriksa kecocokan type dan mungkin melaksanakan konversi type jika diperlukan. Bahasa program Lisp, Scheme dan Small-Talk adalah contoh dari bahasa dynamic type.

Type Checking

Suatu bahasa disebut :

·         Untyped jika tidak ada type abstrak yang berlaku

·         Strong type jika menyelenggarakan type abstrak (operasi mungkin diterapkan hanya untuk type object yang sesuai)

·         Type static jika type ekspresi masing-masing dapat ditentukan dari teks program

·         Type dynamic jika penentuan type beberapa ekspresi tergantung pada perilaku waktu berjalan program.

Keuntungan dari bahasa Untyped adalah fleksibilitas mereka. Programmer mempunyai kendali penuh atas bagaimana suatu nilai data digunakan tetapi harus mengasumsikan tanggung jawab penuh untuk mendeteksi aplikasi operasi ke type object yang tidak cocok/bertentangan.

Strong type membantu untuk memastikan portabilitas dan keamanan kode dan sering memerlukan programmer dengan tegas menggambarkan type masing-masing object di dalam suatu program. Ini penting juga dalam kumpulan untuk pemilihan operasi yang sesuai dan untuk optimisasi.

Static Type secara luas dikenal sebagai kebutuhan untuk produksi software yang dapat dipercaya dan aman. Type static dipilih ketika efisiensi di dalam waktu pelaksanaan adalah penting dan kompilator pendukung digunakan untuk mendukung rancang bangun software berjalan.

Dynamic type checking menyiratkan bahwa type dicek pada waktu pelaksanaan dan bahwa tiap-tiap nilai berlabel untuk mengidentifikasi typenya dalam rangka membuat type checking mungkin. Hukuman untuk dynamic type checking adalah biaya waktu dan ruang tambahan.

Type Equivalence (Kesamaan Jenis)

Dua type tak dikenal (satuan object) adalah sama jika mereka berisi elemen-elemen yang sama. Yang sama tidak bisa dikatakan type nama mereka yang dulu, maka tidak diperlukan untuk memisah type union. Kapan type dinamai, ada dua pendekatan utama untuk menentukan apakah dua type sama.

Name Equivalence (Kesamaan Nama)

Di dalam name equivalence dua type adalah sama jika mereka mempunyai nama yang sama. Type diberi nama berbeda diperlakukan berbeda dan tidak bisa secara kebetulan dicampur hanya karena struktur mereka secara kebetulan adalah sama. Name equivalence perlu definisi type untuk global.

Structural Equivalence (Kesamaan Struktural)

Di dalam structural equivalence, nama type diabaikan dan elemen-elemen type dibandingkan untuk persamaan. Adalah mungkin bahwa dua type logic yang berbeda boleh menjadi kebetulan yang sama dan dapat dicampur.

Definisi type tidak diperlukan untuk menjadi global. Structural equivalence adalah penting di dalam distribusi pemrograman, dimana program terpisah harus mengkomunikasikan type data.

Definisi N.1:

Dua type T, T’ adalah name equivalence iff T dan T’ adalah nama yang sama.

Dua type T, T’ adalah structural equivalence iff T dan T’ memiliki satuan nilai yang sama.

Tiga aturan berikut yang digunakan untuk menentukan jika dua type adalah structural equivalence :

a.    Suatu nama type sama secara struktur dengan dirinya sendiri

b.    Dua type yang sama secara struktur jika mereka dibentuk dengan menerapkan type pembangun yang sama (secara berulang) ke type structural equivalence.

c.    Setelah suatu deklarasi type, type n = T, nama type n secara structural setara dengan T.

Type Inference (Jenis Kesimpulan)

Type inference adalah masalah yang umum dalam menjelmakan untyped atau sintaksis type parsial ke dalam terminologi yang baik.

Deklarasi tetap Pascal adalah suatu contoh type inference, typa nama adalah kesimpulan dari type yang tetap. Dalam Pascal untuk pengulangan type index pengulangan dapat ditarik kesimpulan dari type recursively defined dan dengan begitu indeks pengulangan harus suatu variabel lokal dari pengulangan.

Bahasa pemrograman Miranda dan Haskell adalah type static dan menyediakan strong type inference system sehingga seorang programmer tidak perlu mendeklarasikan type apapun. Bahasa juga mengizinkan para programmer untuk menyediakan spesifikasi type eksplisit.

Suatu type checking harus mampu :

a.    Menentukan jika suatu program adalah type yang baik dan

b.    Jika program adalah type yang baik, tentukan type ekspresi manapun di dalam program

Type Declaration (Jenis Deklarasi)

Bahkan bahasa yang menyediakan suatu type inference system mengizinkan para programmer untuk membuat deklarasi type eksplisit. Sekalipun compiler dapat dengan tepat menyimpulkan type, pembaca manusia mungkin harus meneliti beberapa halaman kode untuk menentukan type suatu fungsi.

Kesalahan kecil oleh programmer dapat menyebabkan compiler mengeluarkan pemberitahuan kesalahan atau untuk menyimpulkan suatu type yang berbeda dibanding yang diharapkan. Karena pertimbangan ini adalah praktek pemrograman yang baik dengan tegas menyatakan type atas semua kecuali kasus yang paling nyata.

Polymorphism (Polimorfisme)

Suatu type system adalah monomorphic jika masing-masing konstanta, variabel, parameter, dan hasil fungsi mempunyai suatu type unik. Type checking suatu system monomorphic adalah type secara langsung. Tetapi system type monomorphic semata-mata tidak memuaskan untuk penulisan software yang bisa dipakai kembali.

System yang sepenuhnya monomorphic jarang. Kebanyakan bahasa pemrograman berisi beberapa operator atau prosedur yang mengizinkan argumentasi lebih dari satu type.

Definisi N.2 :

Monomorphism : tiap-tiap konstanta, variabel, parameter, fungsi dan operator mempunyai suatu type unik.

Pemuatan lebih mengacu pada penggunaan dari sintaksis pengenal tunggal untuk mengacu pada beberapa operasi berbeda yang dibedakan oleh type dan jumlah argumentasi pada operasi.

Polymorphism : suatu operator, fungsi atau prosedur yang mempunyai suatu keluarga type yang terkait dan berorientasi secara seragam atas argumentasinya dengan mengabaikan type.

Suatu operasi polymorphic adalah yang dapat berlaku untuk type yang berbeda tetapi berhubungan dengan argumentasi.

Suatu type system adalah polymorphic jika abstrak beroperasi secara seragam pada argumentasi suatu keluarga type terkait.

Polymorphism type ini kadang-kadang disebut parametric polymorphism.

Type Completeness (Jenis Kelengkapan)

Prinsip type ini, tidak ada operasi yang dapat berlaku semaunya, terbatas yang berhubungan dengan nilai type.