M381-Logic
Worked on the URM-emulator today. I have added function composition.
Example:
The following URM code represents the function f: n->n^2
{
{j, 1, 4, 10},
{c, 1, 4},
{s, 2},
{j, 1, 2, 10},
{z, 3},
{s, 3},
{s, 4},
{j, 1, 3, 3},
{j, 1, 1, 6},
{c, 4, 1}
}
The following URM code represents the function g: n->3n
{
{c, 1, 3},
{j, 2, 3, 10},
{s, 2},
{s, 1},
{s, 1},
{j, 1, 1, 2}
}
The URM then generates ( i.e. my Mathematica code ) for (f*g): n->9n^2
{
{c, 1, 3},
{j, 2, 3, 7},
{s, 2},
{s, 1},
{s, 1},
{j, 1, 1, 2},
{z,2},
{z, 3},
{z, 4},
{j, 1, 4, 19},
{c, 1, 4},
{s, 2},
{j, 1, 2, 19},
{z, 3},
{s, 3},
{s, 4},
{j, 1, 3, 12},
{j, 1, 1, 15},
{c, 4, 1}
}
and for (g*f) n:=n->3n^2
{
{j, 1, 4, 10},
{c, 1, 4},
{s, 2},
{j, 1, 2, 10},
{z, 3},
{s, 3},
{s, 4},
{j, 1, 3, 3},
{j, 1, 1, 6},
{c, 4, 1},
{z, 2},
{z, 3},
{z, 4},
{c, 1, 3},
{j, 2, 3, 23},
{s, 2},
{s, 1},
{s, 1},
{j, 1, 1, 15}
}
Low level hacking indeed.
Subscribe to:
Post Comments (Atom)
Popular Posts
-
Among lectures on Calculus I,II and III, ( Introduction to ) Linear Algebra and ( Introduction to ) Differential Equations from the UCCS ( ...
-
Problem: We want to calculate the sum of the elements of a list of numbers. Suppose this list is named l and has been assigned the value {1,...
-
Today I started to read the Ramanujan biography ( The e-book version, of course. ) The book looks promising. What was it like to communicate... -
I found a set of video lectures on Abstract Algebra. MATH E-222 Abstract Algebra - http://www.extension.harvard.edu/openlearning/math222/ E...
-
Ramanujan's genius (r) was discovered by Hardy (l) At a very young age Ramanujan designed the following formula for a 3 by 3 magic sq...
Welcome to The Bridge
Mathematics: is it the fabric of MEST?
This is my voyage
My continuous mission
To uncover hidden structures
To create new theorems and proofs
To boldly go where no man has gone before
(Raumpatrouille – Die phantastischen Abenteuer des Raumschiffes Orion, colloquially aka Raumpatrouille Orion was the first German science fiction television series. Its seven episodes were broadcast by ARD beginning September 17, 1966. The series has since acquired cult status in Germany. Broadcast six years before Star Trek first aired in West Germany (in 1972), it became a huge success.)
Wow you really are getting into Computability aren't you. Glad to see you engaging with the subject and making it your own. You do seem to be enjoying your self these days.
ReplyDelete