.. _BetaReduction:

.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = true;ODSA.SETTINGS.MODULE_NAME = "BetaReduction";ODSA.SETTINGS.MODULE_LONG_NAME = "Beta Reduction";ODSA.SETTINGS.MODULE_CHAPTER = "Lambda Calculus"; ODSA.SETTINGS.BUILD_DATE = "2017-07-15 16:19:54"; ODSA.SETTINGS.BUILD_CMAP = false;JSAV_OPTIONS['lang']='en';JSAV_EXERCISE_OPTIONS['code']='java_generic';</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:


.. This file is part of the OpenDSA eTextbook project. See
.. http://algoviz.org/OpenDSA for more details.
.. Copyright (c) 2012-13 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata:: 
   :author: David Furcy and Tom Naps 

Beta-Reduction
==============

Section Text
------------

Section text is forthcoming.

RP 16 Part 1
------------

This randomized problem will help you identify :math:`\beta`-redexes.  To earn
credit for it, you will have to solve it correctly three times in a
row.

.. avembed:: Exercises/PL/RP16part1.html ka
   :module: BetaReduction
   :points: 1.0
   :required: True
   :threshold: 3.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java_generic
   :long_name: RP set #16, question #1

RP 16 Part 2
------------

This randomized problem will help you identify :math:`\beta`-redexes
and prepare to reduce them by determining whether an
:math:`\alpha`-conversion is needed.  To earn credit for it, you will
have to solve it correctly three times in a row.

.. avembed:: Exercises/PL/RP16part2.html ka
   :module: BetaReduction
   :points: 1.0
   :required: True
   :threshold: 3.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java_generic
   :long_name: RP set #16, question #2


RP 16 Part 3
------------

This randomized problem will make you practice performing
:math:`\beta`-reductions. To earn credit for it, you will have to
solve it correctly three times in a row.

.. avembed:: Exercises/PL/RP16part3.html ka
   :module: BetaReduction
   :points: 1.0
   :required: True
   :threshold: 3.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java_generic
   :long_name: RP set #16, question #3