1. Pengertian Finite Automata

Finite automata adalah mesin abstrak berupa sistem model matematika dengan masukan dan keluaran diskrit yang dapat mengenali bahasa paling sederhana (bahasa reguler) dan dapat diimplementasikan secara nyata dimana sistem dapat berada disalah satu dari sejumlah berhingga konfigurasi internal disebut state. Finite Automaton memiliki konsep sebagai bentuk paling sederhana dari peralatan komputerisasi abstrak. Finite- state control dari suatu finite automaton juga merupakan inti dari begitu banyak peralatan komputer yang kompleks.State sistem merupakan ringkasan informasi yang berkaitan dengan masukan-masukan sebelumnya yang diperlukan untuk menentukan perilaku sistem pada masukan-masukan berikutnya.  

Finite Automata menggunakan prosedur yang saat diberikan masukan “string berhingga” akan berhentiFinite Automata menyatakan “ya” dengan sejumlah berhingga komputasi jika string tersebut merupakan elemen bahasa sehingga lebih berfokus pada pengenalan dimana bila diberikan suatu program (string) akan menyatakan apakah string tersebut termasuk di bahasa atau tidak.Automaton memiliki suatu alur khusus dan unik untuk setiap kata yang akan dikenali atau diterima. Jika suatu alur berakhir pada suatu state yang disebut sebagai final state atau accepting state, maka kata yang ditelusuri tersebut dikatakan dikenali oleh automaton.Komponen dasar yang dimiliki ileh Finite Automaton adalah alphabet yaitu himpunan symbol/ lambang yang dikenali. Himpunan alfabet diwakili dengan ∑ jika dan hanya jika  ∑ merupakan himpunan symbol yang bersifat tetap dan bukan merupakan himpunan kosong. Contoh umum dari alphabet adalah 26 (dua puluh enam) huruf yang dikenali dalam bahasa Indonesia ataupun rangkaian karakter ASCII, yang merupakan rangkaian standar dari kode- kode komputer. Sedangkan sebuah word, yang disebutkan juga string atau sentence adalah rangkaian  satu atau lebih alphabet yang telah dinyatakan sebelumnya. Rangkaian word itu sendiri disebut bahasa (language), yang diwakili dengan L. berikut ini adalah contoh alphabet beserta words yang dapat dibentuknya:

• ∑ = {a, b}, maka contoh words yang dapat dibentuknya yaitu “aab”, “abab”, “a”, “bbbbbb”, dan lain- lain.
• ∑ = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, maka contoh words yang dapat dibentuknya yaitu “26498098”, “100103”, “0000”, dan lain- lain.

Lebih lanjut, concatenation adalah proses menggabungkan dua buah words menjadi satu word baru, yaitu terdiri dari rangkaian alphabet dari word pertama dan disambung dengan rangkaian alphabet dari word ke-dua.

• ∑ = {a, b}, words = “aaa” dan y = “bbb”dimana setiap a merupakan anggota himpunan ∑, a ∈ ∑  dan setiap b anggota himpunan ∑, b ∈ ∑.  Maka, gabungan atau concatenation x dan y, dinyatakan dengan x,y = “aaabbb”.

Setelah memiliki pemahaman diatas, maka definisi dari sebuah Finite Automaton dapat ditetapkan sebagai suatu model matematis dari sebuah mesin yang menerima suatu rangkaian words tertentu yang mengandung alphabet ∑. 

berikut adalah Channel youtube yang membahas tentang Finite automata Oleh channel youtube Neso Academy