Turing machine simulator to program a turing machine

Assignment Help Basic Computer Science
Reference no: EM131697365

Assignment: Theoretical Models as Practical Computers

1. Programming a Turing Machine.

Use the online Turing machine simulator to program a Turing machine (i.e., create the transition function for one) so as to accept any input of this form:
10*1

In the notation above, the symbol "*" means "0 or more of the preceding character." Any of the following should be an accepted input:
11
101
1001
(etc.)

The following are examples of inputs that should be rejected: 111 10101 1101

Please submit your Turing machine program (transition function) in text following the syntax required for the online simulator.

2. Programming with the Lambda Calculus.

Use the online lambda calculus interpreter to express the addition functions and test it on the values (3, 2) and (2,3), using Church numbers. Verify that 3 + 2 = 2 + 3 according to the lambda calculus.

Your submission should be a text file with two lines: the first line holds the expression for 3 + 2, the second for 2 + 3. I should be able to copy each of your lines into the online interpreter, reduce it, and see the right answer as the last line.

Please submit your initial lambda expression in text using the syntax required for the online interpreter.

Verified Expert

This assignment involves writing solving a language via Turing machine. The Turing machine with state and input is converted into program and executed in the online Turing machine implementer. A code is written to accept the language 10*1 and Turing machine implemented is tested with various inputs

Reference no: EM131697365

Questions Cloud

How much money should he invest now : How much money should he invest now in order to have the same amount of money in 20 years as Hailey
How much money does she need to contribute per month : Monica has decided that she wants to build enough retirement wealth that, How much money does she need to contribute per month to reach her goal
Compute the present value of payments : Given a 6 percent interest rate, compute the present value of payments made in years 1, 2, 3, and 4 of $1,400, $1,700, $1,700, and $1,800
Stakeholder management aspects of project : A University is moving to a new HR/Payroll system that is sponsored by a firm call Workday.com. You have been asked to oversee the stakeholder management aspect
Turing machine simulator to program a turing machine : Use the online Turing machine simulator to program a Turing machine - the second for 2 + 3. I should be able to copy each of your lines into
Compute the roi of the radio project alone : Return on Investment and Investment Decisions Leslie Blandings, division manager of Audiotech Inc., was debating the merits of a new product-a weather radio.
Comparative measures of performance by comparing : Carry out an analysis of the business by using comparative measures of performance by comparing your business performance.
Calculate the payback npv and irr for project approval : Nabisco is planning to erect new manufacturing campus in Raleigh, North Carolina. Calculate payback, NPV and IRR and make a recommendation for project approval
What was your understanding of individuals with disabilities : Answer the following questions and include the information on ADA: Before viewing this film, what was your understanding of individuals with disabilities?

Reviews

inf1697365

11/9/2017 5:21:54 AM

#Addition of 1+3: (?m n f x. m f (n f x)) (?f x.(f x)) (?f x.f(f(f x))) =>( ?n f x. (?f x.(f x)) f (n f x)) (?f x.f(f(f x))) =>( ?f x. (?f x.(f x)) f ((?f x.f(f(f x))) f x)) =>( ?f x. ( ?x.(f x)) ((?f x.f(f(f x))) f x)) =>( ?f x. ( ?x.(f x)) (( ?x.f(f(f x))) x)) =>( ?f x. ( ?x.(f x)) ((f(f(f x))))) =>( ?f x. ( (f ((f(f(f x)))))) ) Answer<=>4<=>(?f x.(f(f(f(((f x))))))) Hence proved that 3+1<=>1+3 Expert has a query. Please revert on his query which is : Can I change the interpreter https://crypto.stanford.edu/~blynn/lambda/ it is also a lambda interpreter. Unfortunately, you cant. Professor said not to use any other interpreter. You will need to use this interpreter. https://people.eecs.berkeley.edu/~gongliang13/lambda/#firstPage

inf1697365

11/9/2017 5:06:28 AM

I did not got any reading notes for the any of the questions. You can do some research online and second question. I was told to read this be my proffesor. Robert Sebesta, Concepts of Programming Languages, Chapter 1 (“Preliminaries”). https://cs444pnu1.files.wordpress.com/2014/02/concepts-of-programming-languages-10th-sebesta.pdf Ok Please send me solution for question 2 by tomorrow. It is due tomorrow. Here is a example for programming. #Addition of 3+1:: (?m n f x. m f (n f x)) (?f x.f(f(f x))) (?f x.(f x)) =>( ?n f x. (?f x.f(f(f x))) f (n f x)) (?f x.(f x)) =>( ?f x. (?f x.f(f(f x))) f ((?f x.(f x)) f x)) =>( ?f x. ( ?x.f(f(f x))) ((?f x.(f x)) f x)) =>( ?f x. ( ?x.f(f(f x))) ((?f x.(f x)) f x)) =>( ?f x. ( f(f(f ((?f x.(f x)) f x)))) ) =>( ?f x. ( f(f(f (( ?x.(f x)) x)))) ) =>( ?f x. ( f(f(f (( (f x)) )))) ) Answer<=>4<=>(?f x.(f(f(f(((f x)))))))

len1697365

10/30/2017 3:54:30 AM

I need help with the attach assignment. In the PDF file there are also tools I need to use - Please submit your initial lambda expression in text using the syntax required for the online interpreter. Please submit your Turing machine program (transition function) in text following the syntax required for the online simulator.

Write a Review

Basic Computer Science Questions & Answers

  Identifies the cost of computer

identifies the cost of computer components to configure a computer system (including all peripheral devices where needed) for use in one of the following four situations:

  Input devices

Compare how the gestures data is generated and represented for interpretation in each of the following input devices. In your comparison, consider the data formats (radio waves, electrical signal, sound, etc.), device drivers, operating systems suppo..

  Cores on computer systems

Assignment : Cores on Computer Systems:  Differentiate between multiprocessor systems and many-core systems in terms of power efficiency, cost benefit analysis, instructions processing efficiency, and packaging form factors.

  Prepare an annual budget in an excel spreadsheet

Prepare working solutions in Excel that will manage the annual budget

  Write a research paper in relation to a software design

Research paper in relation to a Software Design related topic

  Describe the forest, domain, ou, and trust configuration

Describe the forest, domain, OU, and trust configuration for Bluesky. Include a chart or diagram of the current configuration. Currently Bluesky has a single domain and default OU structure.

  Construct a truth table for the boolean expression

Construct a truth table for the Boolean expressions ABC + A'B'C' ABC + AB'C' + A'B'C' A(BC' + B'C)

  Evaluate the cost of materials

Evaluate the cost of materials

  The marie simulator

Depending on how comfortable you are with using the MARIE simulator after reading

  What is the main advantage of using master pages

What is the main advantage of using master pages. Explain the purpose and advantage of using styles.

  Describe the three fundamental models of distributed systems

Explain the two approaches to packet delivery by the network layer in Distributed Systems. Describe the three fundamental models of Distributed Systems

  Distinguish between caching and buffering

Distinguish between caching and buffering The failure model defines the ways in which failure may occur in order to provide an understanding of the effects of failure. Give one type of failure with a brief description of the failure

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd