Syntax and Semantics

Question 1

Syntax Nedir

Answer 1

Dildeki expression, statement ve program bölümlerinin tamamı

Question 2

Semantics nedir

Answer 2

Dildeki syntax elemanlarının tamamının anlamı ve işlevi

Question 3

Sentence nedir

Answer 3

Dile ait kurallara uygun, dilin alfabesinin harfleri ile oluşturulmuş şey

Question 4

Language nedir

Answer 4

Sentenceler bütünü

Question 5

Lexeme nedir

Answer 5

Dilin anlamlı parçaları. Örneğin a = b ifadesinde ‘=’, bir lexemenin value değeridir. Lexemenin kategorisi/ tokeni ise assgn_sign olabilir

Question 6

Token nedir

Answer 6

Token lexemenin kategorisidir.

Question 7

index = 2;
ifadesini lexeme ve tokenlera ayır

Answer 7

lexeme index | = | 2 |;
token identifier| assign | intconst | semicolon

Question 8

language recognizer nedir

Answer 8

bir cümlenin dile ait olup olmadığını anlayan makina

Question 9

language generator nedir

Answer 9

bir dile ait cümleler üreten makina

Question 10

Syntax tanımı için chomskynin ortaya attığı 4 metottan, pl’de işimize yarayan ikili?

Answer 10

Regular grammars -> Tokenların formu
Context-Free Grammar -> Syntax

Question 11

Backus naur form nedir

Answer 11

Algol 58’i backus, algol 60’ı naur formal olarak olarak tanımlamıştır. BNF bir context free grammerdir. Bir metalanguagedir.

Question 12

Bnfte bir gramer kuralı nasıl gösterilir

Answer 12

<assign> -> <var> = <expr>
left handed gramer yapısı
right handed karşılığı
-> yerine := ::= de kullanılabilir
</expr></var></assign>

Question 13

Bnfte soyutlaştırılmış kavramlara ne ad verilir ve nasıl gösterilir

Answer 13

Nonterminal denir <—-> ile gösterilir

Question 14

liste yapısını bnf ile göster

Answer 14

<identList> -> <identifier> | <identifier>, <identList>
</identList></identifier></identifier></identList>

Question 15

grammer nedir

Answer 15

her nonterminal ifadeyi terminale götürebilecek yollar içeren kural dizisi
örneğin

<assign> -> <id> = <expr>
<id> -> A|B
<expr> -> <id>+<expr> | <id>
</id></expr></id></expr></id></expr></id></assign>

Question 16

<assign> -> <id> = <expr>
<id> -> A|B
<expr> -> <id>+<expr> | <id> grameri için
a = a+b+b'nin leftmost derivationu nedir
.
.
.
.
.
..
.
</id></expr></id></expr></id></expr></id></assign>

Answer 16

<assign> => <id> = <expr>
=> a = <expr>
=> a = <id> + <expr>
=> a = a + <expr>
=> a = a + <id> +<expr>
=> a = a + b + <expr>
=> a = a + b + <id>
=> a = a + b + b
</id></expr></expr></id></expr></expr></id></expr></expr></id></assign>

Question 17

parse tree nedir

Answer 17

derivationu gösteren hiyerarşik bir yapıdır

Question 18

ambigious tree nedir

Answer 18

bir derivation için birden fazla parse tree oluşması durumu

Question 19

extended bnf ile eklenen kurallar nelerdir

Answer 19

[—-] -> optional
{— |S } -> s kadar tekrarla
(—|—) -> birinci ya da ikinci

Question 20

Operational semantics nedir

Answer 20

Bir ifadenin nasıl çalıştığını makine üzerinde yaptığı etki ile tanımlamak

Question 21

Denonational semantics nedir

Answer 21

Matematiksel fonksiyonlar ile semantik kurallarını incelemek.

Question 22

Axiomatic Semantics nedir

Answer 22

Hoore üçlüsü -> {P}C{Q}, p doğru iken, c çalışırsa q da doğru olur.
a = b+1’i ele alalım. p = a>1 ise q= b>0 en zayıf postconditiondur.