CMPUT272 Lecture Notes - Lecture 12: Halting Problem, Natural Number

44 views2 pages

apricotzebra879

14 Oct 2014

School

University of Alberta

Department

Computing Science

Course

CMPUT272

Professor

Lorna Stewart

For unlimited access to Class Notes, a Class+ subscription is required.

Document Summary

Prove _correct_ for all (legal) inputs: it terminates, output needs to be correct. (according to specifications) Given a coffee can that contains some white beans and some black beans, A varient (of a loop) is an arithmetic expression that. An invarient (of a loop) is a logical expression that. Evaluates to true in each iteration of the loop. And, since w = w, w = w(mod2). Once more through the loop, suppose the loop has executed an arbitrary number of times. Let wc and bc be the current values of w and b. Assume the loop continues its execution, that is wc+bc. Let wn and bn be the values of w and b after the next iteration of the loop. In both cases wn+bn = wc+bc-1, therefor bn + wn 0 by precondition. Once through the loop, let wc and bc be the current values of w and b. therefore wc + bc wn + bc < wc + bc.

Related Questions

7. Write a class MetroLine in which you define a new type MetroLine (10 points) A MetroLine is defined to have the following private properties: • A String representing the colour of the line (e.g. blue, red, green, etc. No numbers. It's Montreal, not Manhattan!) • A collection of MetroStation This collection can be either a built in array, an ArrayList, or any other kind of collection you feel would satisfy the requirements of the class. The collection must be able to define an ordering from "beginning" to "end" of the MetroLine. It does not matter which part you consider the beginning and which part is the "end" as long as it is consistent. (We recommend using ArrayList but you are free to do otherwise if you feel it will be casier.) A MetroLine should have the following methods defined: • A constructor which takes nothing as input and performs any initialization necessary to maintain your collection of stations. • A method addstation which takes as input a MetroStation and adds it to the end of your collection. The method can assume the station is not already part of the collection and should return void. Note that the order the MetroStations are added is the same as the path the trains will travel on (or it could be the reverse path as well). • A method hasStation which takes as input a MetroStation and returns a boolean representing whether the metro line has a MetroStation with the same name or not. A method get LineColour which returns the colour of the line. • A method get First Stop which returns the MetroStation representing the first stop of the metro line. If there is no such station (ic, if the collection of MetroStation is empty), your method should return null. • A method get PriorStop which takes as input a MetroStation and returns the stop prior to the MetroStation passed as input. You may assume that the MetroStation passed as input is indeed in the collection of MetroStations If the current station is the first stop on the MetroLine then this method should return null. You may assume that there are no "loops" in the MetroLine That is, no station is present on the same line twice. A method getNext Stop which takes as input a MetroStation and returns the stop after the MetroStation passed as input. You may assume that the Metrostation passed as input is indeed in the collection of Metrostations. If the current station is the last stop on the MetroLine, then this method should return null. You may assume that there are no "loops" in the MetroLine That is, no station is present on the same line twice. For the above methods, you may assume that there is no aliasing issue. That is to say, you can use == to compare the references, or if you are using a type such as ArrayList to maintain your list of stations, you can use the indexOf or contains method defined on an ArrayList.

Objective: Take a sample feed, parse it, augment it, and output individual JSON objects for each product in it.

product.txt

The file contains several fields of basic product information for 1000 products.
Data for each product is on one line, with fields separated by a vertical pipe character.

This particular retailer classifies products into a particular store, department, category, and subcategory.

Example >

A Blender might have the following "taxonomy" or category classification.

Home & Garden > Kitchen & Dining > Appliances > Blenders

Store

Department

Category

Subcategory

store_id

department_id

category_id

subcategory_id

These IDs are also represented in a sort of shorthand.

They should all be prefixed by the first three letters of their respective field name.

A store_id of 1 becomes sto1

A department_id of 2 becomes dep2

A category_id of 3 becomes cat3

A subcategory_id of 4 becomes sub4

targets.txt

A system to keep track of these various classifications
- Example
  - A store_id of sto40 maps to a “target value” of 187298 in PromoteIQ's system

Output Example:

The desired output for the first product is one line of JSON that when pretty-printed looks like:

{

"sku": "22067130",

"name": "Brainboxes ES-571 Brainboxes Es-571 Industrial Isolated Ethernet to Serial + Switch - 1 x Network (R",

"description": "Brainboxes ES-571 Brand New Includes Lifetime Warranty Product # ES-571 Factory floors can be harsh environments.",

"priceList": 387.95,

"taxonomy": [

"sto2",

"dep7",

"cat270",

"sub18532"

"targetValues": [

187167,

187177,

187950,

196404

]

}

The taxonomy IDs have been mapped to their long form and placed in the taxonomy property.

Each taxonomy ID has also been mapped to its corresponding target value ID from the targets.txt file
- and that result is stored in the targetValues
- The priceList property is the product price as a JSON float, not a string

coffeebear857

Hi. You should write a Java program to meet the specification shown below.

In this game(dice poker), the computer rolls two standard six-sided dice and you bet on the outcome. The outcome is the configuration of the numbers rolled (explanation below). The input/output should utilise a graphical user interface (input and message boxes).

1.1 Game flow

You start with some money in your bank. You play a number of rounds, where for each round you place a bet and the computer rolls the dice, checks results and modifies your bank balance. After certain conditions, the game ends and you're presented with some final information shown as a message box.

1.2 Placing bets

Before the computer rolls the dice, you can bet some money from your bank.

ˆ If the numbers are sequential (e.g. 1 and 2, 5 and 4, etc. Not 6 and 1), you earn double your bet.

ˆ If the numbers are identical (rolling doubles), you earn triple your bet.

ˆ Otherwise, you win nothing therefore you lose the amount of money you bet.

Before placing a bet, the computer should inform you of your current bank balance.

1.3 Starting Game- Game rules

When the game starts you are given £6 in your bank. Each bet costs £1 and you are allowed to make up to five bets before the game ends. The game will end if you run out of money, or you have no more attempts left (you made all five bets). At the end of the game, you will be told which of these conditions has ended the game.

1.4 Results display

Once the game has finished (all bets have been placed or you ran out of money) the computer will collate and display the results in a single message box, comprised by:

ˆ On row per bet, displaying your bet, the numbers rolled, the amount of money earned or lost for that bet.

ˆ One row at the end, displaying the amount of money that you have remaining in your bank at the end of the game.

1.5..Variable bet amount

Allow the user to change how much they would like to bet and change the amount you win accordingly. Allow bets between £1 and 4£ (integers only)

1.6.High score table

Create a high score table. The more money you have remaining in your bank at the end of the game the higher up the table you will be. In order to implement this, players will have to enter their name before they play. The high score table should be displayed as a separate message box after the results have been displayed at the end of the game(1.4)

Not1: Please use JoptionPane class instead of scanner class.

Not2: Also If possible explain the description of your classes: what each does and how they relate to each other. And if possible, program should be extensible. E.g. Is it easy to change the number of dice? The number of rounds to play? The sides of the dice?Etc.

OC4135869

CMPUT272 Lecture Notes - Lecture 12: Halting Problem, Natural Number

Document Summary

Get access

Related Documents

COMP 250 Lecture Notes - Lecture 9: Loop Invariant, Postcondition, Precondition

ANTHROP 1AA3 Lecture Notes - Lecture 10: Tim Hortons, Marvin Harris, Cheese Sandwich

BIOL 2080 Lecture Notes - Lecture 17: Conche, Chocolate Liquor, Paralucia Aurifera

Related Questions