Why term would be important and relevant in the design

Assignment Help Computer Engineering

Reference no: EM131824456

Assignment

1. Comment briefly on the role of "syntax" and "semantics" in each of the following scenarios. [NOTE: We are not looking for very deep answers here, just for evidence that you have a good understanding of the basic concepts. A couple of sentences for each scenario should be sufficient.]

a) The tenant in a recently constructed house uses a voice activated assistant to turn on the lights and to adjust the thermostat temperature in their home. (Think of systems like Amazon Alexa, Apple Siri, Google Assistant, or Microsoft Cortana.)

b) A person types the address of the Portland State University home page into a browser on a computer at their local public library.

c) The IRS allows people to submit the information for their tax returns via an online system. An advantage for taxpayers is that the system gives them a prompt notification if it finds any errors in their return, and then provides an opportunity for them to submit a corrected version.

d) An innovative start up is using artificial intelligence to generate two sentence summaries of news articles that are published on major web sites.

2. For each of the following items, explain what the term refers to and why it would be important and/or relevant in the design of a practical programming language:

a) concrete syntax
b) abstraction
c) static semantics
d) dynamic semantics

3. Recall the Prop language of propositional/digital logic whose abstract syntax is described in Haskell by the following definition:

For each of the following Boolean-valued expressions (written C/C++ syntax with capital letters denoting parameters/inputs to the circuit being represented), write the associated Haskell expression of type Prop and draw the corresponding AST:

a) !(A || A)
b) !(!A && !!B)
c) A && !B || C

4. Build a circuit using the abstract syntax for Prop to test if two inputs are equal. Justify that your circuit is correct.

5. Is it possible to construct an expression in the Prop language that could produce an infinite sequence of steps in the normalization procedure described in the lectures? Justify your answer.

Reference no: EM131824456

Questions Cloud

Identify suppliers and input for each process : Identify suppliers and input for each process. Identify outcomes and customers for each process. List key stages in each process.

Would you lend money to this company for the long term : Do you feel that the company is able to meet its current and long term obligations as they become due?

Aspects of the human-caused global warming : Considering what we've learned about externalities, should human-caused global warming be completely stopped? Explain, using the language of social benefits.

Give an example of two random variables : Give an example of two random variables Y and Z such that E(Y 2) > E(Y )2 and E(Z2)

Why term would be important and relevant in the design : For each of the following items, explain what the term refers to and why it would be important and relevant in the design of a practical programming language.

What is deer track park net income : Deer Track Park is a private camping ground near the Lathom Peak Recreation Area. What is Deer Track Park's net income for 2012

Discuss the different types of sampling techniques : Discuss the different types of sampling techniques that are used in field research.Which type would be your preferred choice of said technique and explain why.

Definition of expected value to calculate e : Use the definition of expected value to calculate E(X). What is strange about this? What problem does it reveal with this betting scheme?

Problem on labor-management disputes : Suppose that the family clearly possesses the right to a pleasant-smelling environment. Does this mean that the factory will be required to stop producing.

User Account

All Pages