Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

I'm bored

Name: Anonymous 2007-11-26 22:28

Q={q1,q2}
S={a,b}
G={a,b,b}
F=
s=q1
d(q1,a)=(q2,a,R)
d(q1,b)=(q2,b,R)
d(q1,b)=(q2,b,R)
d(q2,a)=(q1,a,L)
d(q2,b)=(q1,b,L)
d(q2,b)=(q1,b,L)

Name: Anonymous 2007-11-26 23:57

Now write an interpreter that runs your automaton.

Name: Anonymous 2007-11-27 9:54

>>2
UM READ SICP, you will realize that was idiotic and he should instead write a metainterpreter which runs any automataton

Name: Anonymous 2007-11-27 9:56

>>3
Semantics.

Name: Anonymous 2007-11-27 11:28

>>1
What is that?

Name: Anonymous 2007-11-27 12:19

>>5
Looks like Haskell-to-Javascript compiler output to me.

http://darcs.haskell.org/yhc/web/jsdemos/ContTest.html

WARNING: Enterprise-level code.  Yes, Haskell is finally Enterprise-ready.

Name: Anonymous 2007-11-27 12:42

ENTERPRISE HARDON ALERT!

Name: Anonymous 2007-11-27 20:42

it's from a turing machine noobs

Name: Anonymous 2007-11-28 13:23

>>6
i kkkame

Name: Anonymous 2007-11-29 1:13

i think for lulz i should write a turing machine interpreter some day... and then run that.

Name: Anonymous 2007-11-29 1:16

>>7

I belive it's prononced '``Hadro'"

Name: Anonymous 2007-11-29 1:16

>>11

"n"

Name: Anonymous 2007-11-29 7:54

>>12
"~n"

Name: Anonymous 2007-11-29 14:44

>>13
Nyoro~n.

Name: Anonymous 2007-11-29 15:04

>>14
hadro~n

Name: Anonymous 2007-11-29 15:34

>>15
large nyoro~n collider

Name: Anonymous 2009-03-18 2:29

I'm feeling really keen, for some of that good ol' green

Marijuana MUST be legalized.

Name: Anonymous 2010-12-17 1:33

Are you GAY?
Are you a NIGGER?
Are you a GAY NIGGER?

If you answered "Yes" to all of the above questions, then GNAA (GAY NIGGER ASSOCIATION OF AMERICA) might be exactly what you've been looking for!

Name: Anonymous 2010-12-23 0:34

Name: Anonymous 2013-08-31 7:26


Mathematical topics typically emerge and evolve through interactions among many researchers. Set theory, however, was founded by a single paper in 1874 by Georg Cantor: "On a Characteristic Property of All Real Algebraic Numbers"

Name: Anonymous 2013-08-31 8:11


Multiplication is associative (κ·μ)·ν = κ·(μ·ν).

Name: Anonymous 2013-08-31 8:56


The original formulation of infinitesimal calculus by Isaac Newton and Gottfried Leibniz used infinitesimal quantities. In the twentieth century, it was shown that this treatment could be put on a rigorous footing through various logical systems, including smooth infinitesimal analysis and nonstandard analysis. In the latter, infinitesimals are invertible, and their inverses are infinite numbers. The infinities in this sense are part of a hyperreal field; there is no equivalence between them as with the Cantorian transfinites. For example, if H is an infinite number, then H + H = 2H and H + 1 are distinct infinite numbers. This approach to non-standard calculus is fully developed in Howard Jerome Keisler's book (see below).

Name: Anonymous 2013-08-31 9:42


The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment. The work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory.

Name: Anonymous 2013-08-31 10:28


Paul Cohen invented the method of forcing while searching for a model of ZFC in which the axiom of choice or the continuum hypothesis fails. Forcing adjoins to some given model of set theory additional sets in order to create a larger model with properties determined (i.e. "forced") by the construction and the original model.

Name: Anonymous 2013-08-31 11:13


Every set has a choice function

Don't change these.
Name: Email:
Entire Thread Thread List