Resmi bir dilin bölümü - Quotient of a formal language - Wikipedia

İçinde matematik ve bilgisayar Bilimi, doğru bölüm (ya da sadece bölüm) bir dil dil ile ilgili olarak oluşan dildir Teller w öyle ki wx içinde biraz ip için x içinde .[1] Resmen:

Başka bir deyişle, tüm dizeleri alıyoruz içinde son eki olan ve bu son eki kaldırın.

Benzer şekilde, sol bölüm nın-nin göre dizelerden oluşan dildir w öyle ki xw içinde biraz ip için x içinde . Resmen:

Başka bir deyişle, tüm dizeleri alıyoruz öneki olan ve bu ön eki kaldırın.

İşlenenlerin olduğuna dikkat edin ters sırada: ilk işlenen ve ikinci.

Misal

Düşünmek

ve

.

Şimdi, öğesinin içine bir bölücü eklersek sağdaki kısım yalnızca bölücü bir b (bu durumda ben ≤ n ve j = n) veya bitişiğinde c (bu durumda ben = 0 ve j ≤ n). Bu nedenle soldaki kısım ya veya ; ve olarak yazılabilir

.

Özellikleri

Bölüm işleminin bazı genel kapatma özellikleri şunları içerir:

Bu kapanış özellikleri hem sol hem de sağ bölümler için geçerlidir.

Ayrıca bakınız

Referanslar

  1. ^ Linz, Peter (2011). Biçimsel Diller ve Otomata Giriş. Jones & Bartlett Yayıncılar. sayfa 104–108. ISBN  9781449615529. Alındı 7 Temmuz 2014.