Tujuan utama : untuk mengetahui model yang berguna untuk software dan hardware:
Contoh :
- Desain Software dan pencocokan terhadap rangkaian digital
- Pengecekan compiler terhadap komponen teks pada masukan program
- Pengenalan pola kalimat pada data berkapasitas besar
- Dan lain-lain