varmap

More documents

Recommendations

Info

Gösterimsel anlamsalların hesaplanması• Programların doğruluk kanıtındakullanılabilir• Programlar hakkında özenlidüşünebilmemizi sağlar.• Dil tasarımına yardımcı olabilir.• Derleyici üretim sistemelrine yardımcıolabilir.• Dil kullanıcıları tarafından, karmaşıklığıolduğu için, az kullanılır.Copyright © 2007 Addison-Wesley. All rights reserved. 1-52
Özet• BNF ve serbest içerik gramerleri(contextfreegrammars) eş meta dillerdir.– Programlama dillerinin söz diziminitanımlamada kullanılırlar.• Bir özellik grameri(attribute grammar) hemsözdizimi hemde anlamsal tanımlamayapabilir. Anlamsal tanımlamada üç temelyöntem vardır.– İşlemsel(Operation),aksiyomatik( axiomatic),gösterimsel(denotational)Copyright © 2007 Addison-Wesley. All rights reserved. 1-53
Page 1: Bölüm 3Sözdizimi(Syntax) veAnlam
Page 4 and 5: Sözdizim(Syntax) tanımlamanın ge
Page 6 and 7: Söz Diziminin Tanımında Kullanı
Page 8 and 9: Backus-Naur Form (BNF)• Backus-Na
Page 10 and 11: BNF Kurallar• Bir kuralda sol tar
Page 12 and 13: Bir örnek gramer → → | ;
Page 14 and 15: Türetme• Türetmelerde semboller
Page 16 and 17: Gramerlerin belirsizliği(Ambiguity
Page 18 and 19: Bir belirsiz deyim(expression) gram
Page 20 and 21: Genişletilmiş BNF(Extended BNF)
Page 22 and 23: Özellik Gramerleri(Attribute Gramm
Page 24 and 25: Özellik Gramerleri : Tanımlama(De
Page 26 and 27: Özellik Gramerleri (devam)• Söz
Page 28 and 29: Özellik Gramerleri (devam).expecte
Page 30 and 31: İşlemsel Anlamlar(Operational Sem
Page 32 and 33: Aksiyomatik Anlamlar(Axiomatic Sema
Page 34 and 35: Aksiyomsal Anlamsal Biçimler(Axiom
Page 36 and 37: Aksiyomsal Anlamsal: Aksiyomlar(Axi
Page 38 and 39: Aksiyomsal Anlamsal: Aksiyomlar(Axi
Page 40 and 41: Döngü Değişmezi(Loop Invariant)
Page 42 and 43: Gösterimsel Anlamsallar (Denotatio
Page 44 and 45: Gösterimsel Anlamsallar -İşlemse
Page 46 and 47: Ondalık Sayılar → 0 | 1 | 2 | 3
Page 48 and 49: 3.5 AnlamsallarM e(, s) ∆=case o
Page 50 and 51: Mantıksal Önkoşullu döngüler

varmap

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?