Jurusan Teknik Informatika 08563212921 (wa only) Universitas Trunojoyo Madura iosuzanti@trunojoyo.ac.id MATERI ● FSM ● RE ● FA ● Minimisasi FA ● DFA dan NFA ● CGF ● NFA dengan ε-move ● PDA ● Moore dan Meally ● CNF Bahasa Formal ? Automata ? Bahasa Formal
● Bahasa formal adalah sekumpulan kalimat
dibangkitkan oleh sebuah tata bahasa (grammar) yang sama. ● Dikatakan bahasa formal karena grammar diciptakan mendahului pembangkitan setiap kalimatnya. Automata atau Otomata ● Otomata merupakan suatu sistem yang terdiri atas sejumlah state, dimana state menyatakan informasi mengenai input. ● Otomata juga dianggap sebagai mesin otomatis (bukan mesin fisik) yang merupakan suatu model matematika dari suatu sistem yang menerima input dan menghasilkan output INVISIBLE MOVER Penggerak tak tampak dari perkembangan IT baik hardware maupun software
akan tetapi
● Sering dihindari mahasiswa
● Sering terlupakan ● Membutuhkan abstraksi yang kuat TEORI DIGDAYA ● Teori ini mampu menyelesaikan hampir semua permasalahan diskrit ● Perancangan Digital Switching direpresentasikan dengan FA ● Siklus hidup Proses bahkan system state sistem operasi direpresentasikan FA ● Protokol Komunikasi dikemukakan sebagai FA Manfaat Automata 1. Mesin Turing 2. Compiler / Interpreter 3. Vending Machine Up Next