Chekli avtomatlar kompyuter fanida muhim bo'lib, formal tillarni tanib olish va ular bilan ishlashda qo'llaniladi. Ular turli xil vazifalarni bajarishi mumkin va odatda matematik ravishda aniqlanadi