Mantiq, matematika, informatika va tilshunoslikda rasmiy til harflari alifbodan olingan va maʼlum qoidalar toʻplamiga muvofiq yaxshi shakllangan soʻzlardan iborat.
Rasmiy tilning alifbosi til qatorlariga birikadigan harflar yoki belgilardan iborat[1]. Ushbu alifbo belgilaridan birlashtirilgan har bir qator soʻz deb ataladi va maʼlum bir rasmiy tilga tegishli soʻzlar baʼzan yaxshi shakllangan soʻzlar yoki yaxshi shakllangan formulalar deb ataladi. Rasmiy til koʻpincha uni shakllantirish qoidalaridan tashkil topgan oddiy grammatika yoki kontekstsiz grammatika kabi rasmiy grammatika orqali aniqlanadi.
Informatika sohasida rasmiy tillar dasturlash tillarining grammatikasini va tabiiy tillar kichik toʻplamlarining rasmiylashtirilgan versiyalarini aniqlash uchun asos sifatida ishlatiladi.Bunda til soʻzlari maʼlum maʼnolar yoki semantika bilan bogʻliq boʻlgan tushunchalarni ifodalaydi.
Rasmiy til nazariyasi sohasi, birinchi navbatda, bunday tillarning sof sintaktik tomonlarini, yaʼni ularning ichki strukturaviy qonuniyatlarini o‘rganadi. Rasmiy til nazariyasi tabiiy tillarning sintaktik qonuniyatlarini tushunish usuli sifatida tilshunoslikdan paydo boʻldi.
- ↑ See e.g. Reghizzi, Stefano Crespi. Formal Languages and Compilation, Texts in Computer Science. Springer, 2009 — 8-bet. ISBN 9781848820500. „An alphabet is a finite set“