Bahasa formal adalah bahasa yang diciptakan setelah tata bahasa (grammar) : benar

Pembuka palang otomatis di pintu jalan tol tidak termasuk contoh otomata : salah

Simbol adalah nama lain dari karakter, merupakan entitas yang mempunyai arti dan
digunakan untuk menyusun string: benar

Bahasa adalah kumpulan aturan yang dibentuk berdasarkan pola tertentu : benar

Jika X adalah string 1234567 maka 123 dan 567 keduanya bukan postfix(X) : benar

Closure dapat dipahami sebagai operasi string yang jika dijalankan maka
menghasilkan string-string lain dengan pola tertentu

Mesin penjual tiket kereta api termasuk salah satu contoh otomata : benar

Jika X adalah string 1234567 maka 123, 234, dan 456 termasuk substring(X)

Jika X adalah string 1234567 maka 123 dan 567 termasuk prefix(X) : benar

Otomata adalah mesin abstrak yang dapat mengenali string dengan pola tertentu :
benar