Biçimsel Diller ve Soyut Makineler

... konulu sunumlar: "Biçimsel Diller ve Soyut Makineler"— Sunum transkripti:

1 Biçimsel Diller ve Soyut Makineler
Gramerler ve Türetme Ağaçları

2 Gramerler Her Biçimsel Dil Sonlu Sayıda alfabeden oluşur.
Alfabedeki karakterler kelimeleri oluşturur. Kelimeler bir araya gelerek cümleleri oluşturur.

3 Dilin Tanımı Bir gramer 4 bileşenden oluşur:
G = < VN, VT, P, S > Burada; VN : Terminal (uç simge) olmayanlar-nonterminal kümesi (sonlu bir küme) VT = Terminal olanlar (Uç simgeler) kümesi (sonlu bir küme). VN ve VT farklı kümelerdir. VN ∩VT = ∅ S : Başlangıç non-termineli : S ∈ VN P : Kurallar kümesi (yeniden yazma)

4 Yeniden Yazma Kuralı 𝛼⇒𝛽 (yerine olabilir) 𝛼𝜖 𝑉 ∗ 𝛽𝜖 𝑉 + 𝑉= 𝑉 𝑁 + 𝑉 𝑇
𝑉 ∗ = 𝑉 + − Λ

5 Örnek 𝐿 𝐺 = 𝑎 𝑛 𝑏 𝑛 :𝑛≥1

6 Örnek

7 Gramer Türleri tür-0 (kısıtlamasız) gramer ve diller Turing makineler,
tür-1 (bağlama-bağımlı) gramer ve diller, tür-2 Context Free Grammar (bağlamdan bağımsız) gramer ve diller, tür-3 Regüler gramer ve diller

8 Tür-0 Türetimin sol tarafında boşluk dahil istenildiği kadar terminal ve non-terminal, sağ tarafında istenildiği kadar terminal ve non-terminal bulunabilir.

9 Tür-1 Türetimin sol tarafındaki simge sayısı sağ taraftaki simge sayısına eşit veya daha az olmalıdır.

10 Reguler Diller

11 Context-Free Diller Reguler Diller

12 Context-Free Diller(CFL)-bağlamdan bağımsız
Grammars Pushdown Automata stack automaton

13 Örnek Gramer: Cümle türetimi :

14 Gramer: Cümle türetimi :

15

16 Gramerin tanımladığı dil:

17 Biçimsel Tanım Değişkenler kümesi Uç simgeler (terminal) Başlangıç değişkeni Türetim kuralları

18 Örnek Gramer :

19 Tümcesel formlar Tümce
Tümcesel form: nonterminal ve termineller içerir Örnek: Tümcesel formlar Tümce

20 Yerine : yazabiliriz Genel olarak da yerine yazabilriz.

21 Örnek Gramer Türetimler

22 Örnek Gramer Türetimler

23 Örnek Türetimler:

24 (((( )))) Örnek1 Bir CFG şu kurallarla verilmiş olsun: Bir türetim:
Bir başka türetim: (((( ))))

25 Örnek 2 Bir diğer CFG şu kurallarla verilmiş olsun. Tanımladığı dili
Yazınız.

26 Tanım: Context-Free Grammars
nonterminal Terminal simgeler BaşlangıçNT Türetim Kuralları: Terminal yada NT Tek NT

27 Türetim Sırası Soldan türetim (Leftmost derivation): Sağdan türetim (Rightmost derivation):

28 Soldan türetim (Leftmost derivation):
Sağdan türetim (Rightmost derivation):

29 Türetim Ağaçları

30

31

32

33 Türetim Ağacı

34 Türetim Ağacı

35 Sentential forms

36 BELİRSİZLİK (Ambiguity)
leftmost

37 Leftmost

38 Aynı tümceye iki farklı
Türetim ağacı

39 Belirsizlik neden önemlidir?
olsun

40 Bir dildeki bu belirsizlikler
kaldırılmalıdır yerine yazarız.

41

42 Haftaya Gramerlerin sadeleştirilmesi
TEŞEKKÜRLER