Kurma Kuralları » Mantık Terimi

Kurma Kuralları anlamı nedir?
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.
Mantık Terimleri Sözlüğü Tüm Liste »