Ular kontekst-ozod grammatikalar asosida qurilishi mumkin va turli ishlab chiqilgan algoritmlar yordamida tahlil qilinadi. Formal tillarning keng tarqalgan turlari orasida muntazam tillar, kontekst-ozod tillar, kontekst-bog‘liq tillar va rekursiv sanaladigan tillar mavjud