AUTOMATA DAN SEMIAUTOMATA DENGAN PENDEKATAN TEORI SEMIGRUP; AUTOMATA AND SEMIAUTOMATA BY SEMIGROUPS THEORY APPROACH

AYUSNITA WIDI NILASARI, Indah Emilia Wijayanti

2013 | Skripsi | PROGRAM STUDI MATEMATIKA

Pada skripsi ini akan dibahas tentang aljabar automata. Automata adalah quintuple A = (Z;A;B; ?; ?) dengan (Z;A; ?) merupakan semiautomata, B merupakan himpunan tak kosong, dan fungsi keluaran ?. Automata dapat digambarkan menggunakan tabel dan graf. Automata dapat dipandang sebagai salah satu pemodelan matematis yang didekati dengan semigrup. Himpunan (S; ?) disebut semigrup jika operasi biner ? bersifat assosiatif. Hubungan antara semiautomata dan automata dengan semigrup dapat dilihat dari keberadaan monoid dari semiautomata dan automata dan sebaliknya. Sifat-sifat yang terdapat pada semiautomata dan automata juga termotivasi dari semigrup, misalnya subautomata, keberadaan homomorfisma automata yang mengawetkan hasil operasi, hasil kali langsung automata, dll.

Kata Kunci : Automata; Teori semigrup