Week 2 Flashcards

1
Q

What are semantics?

A

Describes behaviour of a program when it is executed using finite resources on abstract hardware.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

How do computers execute programs?

A

Interpreting it one statement at a time or compiling it translating statements into machine code.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

What is a store?

A

Finite set of key-value pairs, where the keys are VARIABLE names

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How may a store be written?

A

{X1:d1,Xn:dn}
where dn is value in D (decimal).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

When might we use the bottom element

A

Not defined
Results that do not terminate

How well did you know this?
1
Not at all
2
3
4
5
Perfectly