Soyut dil ailesi - Abstract family of languages

İçinde bilgisayar Bilimi özellikle alanında resmi dil teori, bir soyut dil ailesi ortak özellikleri genelleyen soyut bir matematiksel kavramdır. normal diller, bağlamdan bağımsız diller ve yinelemeli olarak numaralandırılabilen diller ve bilimsel literatürde incelenen diğer resmi dil aileleri.

Biçimsel tanımlar

Bir resmi dil bir set L sonlu bir soyut semboller kümesi var Σ öyle ki , nerede Kleene yıldızı operasyon.

Bir dil ailesi sıralı bir çift , nerede

  1. Σ sonsuz bir semboller kümesidir;
  2. Λ bir dizi resmi dildir;
  3. Her biri için L içinde Λ sonlu bir alt küme var öyle ki ; ve
  4. L ≠ Ø bazı L içinde Λ.

Bir üçlü bir dil ailesidir kapalı altında e-içermeyen homomorfizm, ters homomorfizm ve normal dil ile kesişme.

Bir tam üçlü ayrıca bir koni, keyfi homomorfizm altında kapalı bir üçlüdür.

Bir (tam) yarı AFL altında kapalı (dolu) bir üçlü Birlik.

Bir (tam) AFL bir (tam) yarı AFL altında kapalı birleştirme ve Kleene artı.

Bazı dil aileleri

Aşağıdakiler, dillerin soyut ailelerinin çalışmasının bazı basit sonuçlarıdır.[1][2]

İçinde Chomsky hiyerarşisi normal diller, bağlamdan bağımsız diller ve yinelemeli olarak numaralandırılabilen dillerin tümü tam AFL'lerdir. Ancak bağlama duyarlı diller ve yinelemeli diller AFL'lerdir, ancak tam AFL'ler değildir, çünkü bunlar keyfi homomorfizmler altında kapalı değildir.

Normal diller ailesi herhangi bir konide (tam üçlü) bulunur. Soyut ailelerin diğer kategorileri, karıştırma, ters çevirme veya ikame gibi diğer işlemler altında kapatma ile tanımlanabilir.[3]

Kökenler

Seymour Ginsburg of Güney Kaliforniya Üniversitesi ve Sheila Greibach nın-nin Harvard Üniversitesi IEEE Sekizinci Yıllık'ta ilk AFL teori makalesini sundu Anahtarlama ve Otomata Teorisi Sempozyumu 1967'de.[4]

Notlar

  1. ^ Ginsburg (1975)
  2. ^ Mateescu, A .; Salomaa, A. (2001) [1994], "Soyut dil ailesi", Matematik Ansiklopedisi, EMS Basın
  3. ^ Păun, Gh. (2001) [1994], "AFL işlemleri", Matematik Ansiklopedisi, EMS Basın
  4. ^ Ginsburg ve Greibach (1967)

Referanslar

  • Ginsburg, Seymour; Greibach, Sheila (1967). "Soyut Dil Aileleri". 1967 Sekizinci Yıllık Anahtarlama ve Otomata Teorisi Sempozyumu Konferans Kaydı, 18–20 Ekim 1967, Austin, Teksas, ABD. IEEE. sayfa 128–139.
  • Seymour Ginsburg, Biçimsel dillerin cebirsel ve otomata teorik özellikleri, Kuzey-Hollanda, 1975, ISBN  0-7204-2506-9.
  • John E. Hopcroft ve Jeffrey D. Ullman, Otomata Teorisi, Dilleri ve Hesaplamaya Giriş, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN  0-201-02988-X. Bölüm 11: Dil ailelerinin kapanış özellikleri.
  • Mateescu, Alexandru; Salomaa, Arto (1997). "Bölüm 4: Klasik Dil Teorisinin Yönleri". Rozenberg, Grzegorz'da; Salomaa, Arto (editörler). Biçimsel Diller El Kitabı. Cilt I: Kelime, dil, dilbilgisi. Springer-Verlag. sayfa 175–252. ISBN  3-540-61486-9.