kurma kuralları

Bir biçimsel dilin düzgün deyimlerini belirlemek üzere (i) abece öğesi her ilkel imin dizimsel türünü belirleyen, (ii) dizimsel türleri (?) gibi yönetilen deyimler ile (...) dizimsel türünden B gibi bir yöneten deyimden dizimsel türü (...) olan (?) düzgün deyiminin kurulabileceğini belirten kurallar. || Kurma kuralları herhangi bir düzgün deyimin sonlu sayıda adımla üretilmesini sağladığı gibi, verilen bir deyimin düzgün olup olmadığını, düzgün ise dizimsel türünün ne olduğunu da belirlemeye yarar.