Üretim (bilgisayar bilimi) - Production (computer science)

Bir üretim ya da üretim kuralı bilgisayar bilimi olan yeniden yazma kuralı yinelemeli yeni sembol dizileri üretmek için yapılabilir bir sembol değiştirmesini belirtmeyi. Yapımları sonlu grubu , bir tarifnamesinde ana bileşenidir resmi gramer (özellikle bir dil bilgisi ). Diğer bileşenler sonlu grubu olan bir uç-olmayan semboller , (bir alfabe olarak da bilinir), sonlu bir dizi ait uç sembolleri olan ayrık gelen ve seçkin bir sembol bir başlangıç simgesi . ${\ Displaystyle P}$ ${\ Displaystyle K}$ ${\ Displaystyle \ Sigma}$ ${\ Displaystyle K}$ ${\ N displaystyle S \}$

Bir in sınırsız gramer bir üretim formu olan ve ancak terminaller ve nonterminallerin rasgele dizileri olan boş dize olmayabilir. Eğer boş bir dize olduğunda, bu sembolle gösterilir , ya da (sağ taraftaki boş bırakın ziyade). Yani yapımları üyeleridir kartezyen çarpım ${\ Displaystyle u \ v}$ ${\ Displaystyle u}$ ${\ Displaystyle v}$ ${\ Displaystyle u}$ ${\ Displaystyle v}$ ${\ Displaystyle \ epsilon}$ ${\ Displaystyle \ lambda}$

{\ Displaystyle V ^ {*} NV ^ {*} \ kez V ^ {*} = (V ^ {*} \ setminus \ Sigma ^ {*}) \ kez V ^ {*}}

,

nerede olduğunu kelime , bir Kleene yıldızı , operatör gösterir birleştirme ve i belirtir birliği set . Biz başlangıç sembolü gerçekleşmesi izin vermezseniz (sağ tarafta kelime), biz değiştirmek zorunda tarafından kartezyen çarpım sembolü sağ tarafında. ${\ Displaystyle V: = N \ fincan \ Sigma}$ ${\ Displaystyle {} ^ {*}}$ ${\ Displaystyle V ^ {*} NV ^ {*}}$ ${\ Displaystyle \ kap}$ ${\ Displaystyle v}$ ${\ Displaystyle V ^ {*}}$ ${\ Displaystyle (V \ setminus \ {S \}) ^ {*}}$

Resmi dilbilgisi diğer türleri Chomsky hiyerarşisi bir üretim neyin oluşturduğuna dair ek kısıtlamalar empoze. Özellikle bir de serbest içerik , bir üretim sol taraftaki tek uç-olmayan sembol olmalıdır. Yani yapımları biçimdedir:

{\ Displaystyle \ n (K \ fincan \ Sigma) ^ {*}}

Gramer nesil

Dilde bir dize oluşturmak için, bir tek tek oluşan bir dizesiyle başlayan başlangıç sembolü ve sonra arka arkaya bu dizeyi yeniden yazmak (herhangi bir sırada, herhangi bir kaç kez) kuralları uygular. Biz sadece terminalleri içeren bir dize elde Bu durur. Dil Bu şekilde üretilen bütün dizeleri oluşur. Bu yeniden yazma işlemi sırasında alınan yasal seçimlerin herhangi bir sekans dilinde belirli bir dize verir. Bu tek bir sicim üreten birden fazla farklı yolu vardır, o zaman dilbilgisi olduğu söylenir belirsiz .

Örneğin, alfabe oluşur varsayalım ve başlangıç sembolüyle, ve biz aşağıdaki kuralları vardır: ${\ Displaystyle a}$ ${\ Displaystyle b}$ ${\ Displaystyle S}$

1.

{\ Displaystyle S \ rightarrow ASB}

2.

{\ Displaystyle S \ rightarrow ba}

o zaman başlayalım ve ona uygulanacak bir kural seçebilirsiniz. Biz kural 1 seçersek, yerini ile ve dize elde . Yine kural 1 seçersek, yerini ile ve dize elde . Biz sadece alfabe sembolleri vardır (yani kadar bu işlem tekrarlanır ve ). Şimdi kuralını 2 seçerseniz, yerini ile ve dize elde ve yapılır. Biz sembolleri kullanarak, daha kısaca seçimler bu diziyi yazabilirsiniz: . Gramer dil Bu işlem kullanılarak üretilen bütün dizeleri kümesidir: . ${\ Displaystyle S}$ ${\ Displaystyle S}$ ${\ Displaystyle ASB}$ ${\ Displaystyle ASB}$ ${\ Displaystyle S}$ ${\ Displaystyle ASB}$ ${\ Displaystyle aaSbb}$ ${\ Displaystyle a}$ ${\ Displaystyle b}$ ${\ Displaystyle S}$ ${\ Displaystyle ba}$ ${\ Displaystyle aababb}$ ${\ Displaystyle S \ Rightarrow ASB \ Rightarrow aaSbb \ Rightarrow aababb}$ ${\ Displaystyle \ {ba abab, aababb, aaababbb, \ dotsc \}}$