Theory of Computation: New Applications
http://www.maplesoft.com/applications/category.aspx?cid=212
en-us2015 Maplesoft, A Division of Waterloo Maple Inc.Maplesoft Document SystemMon, 25 May 2015 13:24:41 GMTMon, 25 May 2015 13:24:41 GMTNew applications in the Theory of Computation categoryhttp://www.mapleprimes.com/images/mapleapps.gifTheory of Computation: New Applications
http://www.maplesoft.com/applications/category.aspx?cid=212
Collatz Problem
http://www.maplesoft.com/applications/view.aspx?SID=1665&ref=Feed
The 3x+1 problem, also known as the Collatz problem, the Syracuse problem, Kakutani's problem, Hasse's algorithm, and Ulam's problem, concerns the behavior of the iterates of the function which takes odd integers n to 3n+1 and even integers n to n/2. The 3x+1 Conjecture asserts that, starting from any positive integer n, repeated iteration of this function eventually produces the value 1.<img src="/view.aspx?si=1665/collatz1.JPG" alt="Collatz Problem" align="left"/>The 3x+1 problem, also known as the Collatz problem, the Syracuse problem, Kakutani's problem, Hasse's algorithm, and Ulam's problem, concerns the behavior of the iterates of the function which takes odd integers n to 3n+1 and even integers n to n/2. The 3x+1 Conjecture asserts that, starting from any positive integer n, repeated iteration of this function eventually produces the value 1.1665Tue, 13 Sep 2005 00:00:00 ZMuharrem AktümenMuharrem AktümenState machines - aut.m library
http://www.maplesoft.com/applications/view.aspx?SID=4439&ref=Feed
This is the aut.m library required to run State machine worksheets.<img src="/view.aspx?si=4439//applications/images/app_image_blank_lg.jpg" alt="State machines - aut.m library" align="left"/>This is the aut.m library required to run State machine worksheets.4439Tue, 11 Nov 2003 10:21:23 ZGyorgy MarotiGyorgy MarotiRecurrence relations and recursion
http://www.maplesoft.com/applications/view.aspx?SID=4096&ref=Feed
In this module, we'll examine recursion and solving recurrence relations in various forms and from symbolic, numeric, and geometric points of view.
<img src="/view.aspx?si=4096//applications/images/app_image_blank_lg.jpg" alt="Recurrence relations and recursion" align="left"/>In this module, we'll examine recursion and solving recurrence relations in various forms and from symbolic, numeric, and geometric points of view.
4096Fri, 17 Aug 2001 13:26:16 ZGregory MooreGregory MooreState machines 2- an exercise with automatons
http://www.maplesoft.com/applications/view.aspx?SID=3942&ref=Feed
In this worksheet we give two solutions for the following exercise: Create anautomaton accepting all nonzero binary numbers which can be divided by 4.
<img src="/view.aspx?si=3942//applications/images/app_image_blank_lg.jpg" alt="State machines 2- an exercise with automatons " align="left"/>In this worksheet we give two solutions for the following exercise: Create anautomaton accepting all nonzero binary numbers which can be divided by 4.
3942Wed, 11 Jul 2001 16:41:44 ZGyorgy MarotiGyorgy MarotiState machines 1- automatons background
http://www.maplesoft.com/applications/view.aspx?SID=3941&ref=Feed
This woksheet gives a short introduction to the usage of the aut package. It summarizes the most important notions of automata theory and shows how they are implemented in Maple. Althought several procedures of the package are touched, this presentation is neither a tutorial, nor a coursebook. The procedures appear in this worksheet are used in their simplest form. All of them have several options (extra parameters), which make the usage of the procudures easier and more flexible<img src="/view.aspx?si=3941//applications/images/app_image_blank_lg.jpg" alt="State machines 1- automatons background" align="left"/>This woksheet gives a short introduction to the usage of the aut package. It summarizes the most important notions of automata theory and shows how they are implemented in Maple. Althought several procedures of the package are touched, this presentation is neither a tutorial, nor a coursebook. The procedures appear in this worksheet are used in their simplest form. All of them have several options (extra parameters), which make the usage of the procudures easier and more flexible3941Wed, 11 Jul 2001 16:40:16 ZGyorgy MarotiGyorgy Maroti