Fixed-point computations

Define the necessary data structures to represent set expressions, equations, and systems of equations;

Define a function or method that performs a single iteration of the fixed point computation. That is, given an assignment from set variables to actual sets, it returns another assignment with the set variables updated;

Define a function or method that computes the solution of a given system of equations from an initial assignment to the set variables in the system;

Define a function or method that solves each of the systems of equations shown at the beginning of this assignment and outputs the corresponding solutions.

Please find attached the detailed instruction.

Get Help With a similar task to - Fixed-point computations

Login to view and/or buy answers.. or post an answer
Additional Instructions:

Live variable analysis was applied to a running example, obtaining this system of equations as a result: In the case of the available expression analysis we obtained another system: The equations of such systems have always the same shape: X = Expr, where Expr is a set expression and X is a variable denoting a set. Assume that the syntax of set expressions is given by the following grammar: In this grammar, the x1,..., xn are elements that could appear in the solutions to the equations. For example, in the first case shown above (live variables), these elements are program variables; in the second case, these elements are arithmetic expressions. 1. In your favourite language, define the necessary data structures to represent set expressions, equations, and systems of equations. 2. Define a function or method that performs a single iteration of the fixed point computation. That is, given an assignment from set variables to actual sets, it returns another assignment with the set variables updated. For example, in Java: 3. Define a function or method that computes the solution of a given system of equations from an initial assignment to the set variables in the system. Use the method implemented in the previous exercise. For example, in Java: 4. Define a function or method that solves each of the systems of equations shown at the beginning of this assignment and outputs the corresponding solutions. Note: The Java and Haskell declarations shown above are just for explanatory purposes. Feel free to use any other programming language to implement the given methods.

Related Questions

Similar orders to Fixed-point computations
11
Views
0
Answers
The third programming project involves writing a program that allows the user to enter a binary tree.
Use original java code as well as original work for test plans and documentation. The third programming project involves writing a program that allows the user to enter a binary tree in a parenthesized prefix format and then allows it to be categorized a...
21
Views
0
Answers
Jupyter notebook tasks. Create a Python file dmv_record.py that contains the definition of a class named DmvCarRecord.
Create a Python file dmv_record.py that contains the definition of a class named DmvCarRecord. The class should include an __init__ method that initializes the following fields using optional parameters: license_num maker model year owner_id reg_ex...
23
Views
0
Answers
software design & development using flask
The objective of this exercise is to create a database-driven Flask application to keep track of guest attendance to an event. The application should enable users to perform the following 3 actions, which should be implemented as links in a navbar: 1. V...
61
Views
0
Answers
Comprehensive Python Programming Assignment
In short (taken for assignments PDF): "The program processes data about airline flights provided in csv format, which is described later in this document. The program will process the CSV data by creating various objects and dictionaries, and then answer...