TM2

Question 1

axiomatic semantic didesain berdasarkan?

Answer 1

predicate calculus

Question 2

tool yang digunakan untuk membuktikan kebenaran suatu program adalah?

Answer 2

axiomatic semantic

Question 3

denotational semantic dikembangkan berdasarkan?

Answer 3

recursive function theory

Question 4

contoh dari metalanguage adalah?

Answer 4

BNF

Question 5

basis yang digunakan oleh axiomatic semantic adalah?

Answer 5

predicate calculus

Question 6

Context Free Grammar (CFG) dikembangkan oleh?

Answer 6

Noam Chomsky

Question 7

tipe semantic yang didesain berdasarkan pada algoritma adalah?

Answer 7

operational semantic

Question 8

RHS dari suatu abstraksi terdiri dari?

Answer 8

lexeme, token, dan referensi untuk abstraksi lain

Question 9

operational semantic pertama kali digunakan untuk menguraikan semantic bahasa?

Answer 9

PL/I

Question 10

denotational semantic awalnya dikembangkan oleh?

Answer 10

Scott dan Strachey

Question 11

bagian alternative RHS di EBNF diletakkan di

Answer 11

parentheses dan dipisahkan dengan tanda |

Question 12

Konsep dasar Denotational Semantics:

Answer 12

a. Metode formal untuk mendeskripsikan makna dari program
b. Berdasarkan pada teori fungsi rekursif
c. Metode yang digunakan untuk mendeskripsikan makna dari sebuah statement atau
program lebih formal karena berbasis pad matematika.
d. Setiap entitias bahasa dinyatakan dalam objek matematis.

Question 13

Hal-hal yang membuat Denotational semantic berbeda dengan Operational semantic:

Answer 13

a. Denotational semantic tidak menggunakan virtual machine seperti operational semantic
b. Denotational semantic menggunakan bahasa yang lebih formal karena menggunakan
objek matematis untuk menyatakan maknanya.
c. Denotational semantic cocok untuk program yang besar dan kompleks, sedangkan
Operational semantic tidak.

Question 14

Operational semantic adalah?

Answer 14

merupakan metode yang digunakan untuk mendeskripsikan makna dari sebuah statement atau program. ada 2 level yang berbeda dalam penggunaan operational semantics, Level yang pertama yaitu: natural operational semantics merupakan level paling tinggi dengan tujuan pada hasil akhir dari eksekusi sebuah program yang selesai dijalankan. Level kedua yaitu: structural operational semantics merupakan level paling rendah yang dapat digunakan untuk menentukan makna yang akurat dari sebuah program melalui pengujian dari urutan yang lengkap dimana pernyataan yang berubah terjadi ketika program dieksekusi. Operational semantic dijelaskan secara informal, sehingga lebih mudah dimengerti dibanding Denotational dan Axiomatic semantics.
Proses standar dari Operational semantics sangat umum sehingga sering digunakan dalam buku- buku programming atau referensi manual.

Question 15

Contoh operational semantic?

Answer 15

count1 = 0
count2 = 1.0
loop: if count1 <= 100.0 goto out
...
\++count1
count2 *= 2.5
sum += count1 + count2
out: ...