|
question about "merging" two context-free languages (CFL) Hi, Suppose we have two context-free languages L1 and L2, and they have disjoint alphabet set A1 and A2 (A1 \intersection A2 = \emptyset). Is it possible to "merge" L1 and L2 into a new context-free language L such that 1) the alphabet set A of L is A1 \union A2 2) a sequence of letters W (subset of A... 12 Aug 2010 23:32
question about "merging" two context-free languages (CFL) Hi, Suppose we have two context-free languages L1 and L2, and they have disjoint alphabet set A1 and A2 (A1 \intersection A2 = \emptyset). Is it possible to "merge" L1 and L2 into a new context-free language L such that 1) the alphabet set A of L is A1 \union A2 2) a sequence of letters W (subset of A... 12 Aug 2010 22:27
P, NP, NP Complete, Intractable in layman terms? Zahid Faizal <zahidfaizal(a)canada.com>, on 11/08/2010 17:31:01, wrote: The news of Vinay Deolalikar possibly proving that P not-equals NP prompted me to again attempt to come up with a layman definition of these terms (not the formal definitions, which are confusing and circular). Kindly correct me if I a... 13 Aug 2010 05:57
I Guess it's Obvious I also Like to Write [Mythologies of Reason?] Mythologies of Reason [NO TALGO GO GO GO - JR] First I will speak here of an idea which, as far as I know, has not occurred to anyone. We need a new mythology, however, this mythology must be at the service of the ideas, it must be a mythology of reason. Hegel or Schelling or Hölderlin, âThe Oldest System ... 9 Aug 2010 16:48
But Yo, I'm making money, See ["Are Blogs Soviets?"] Referenced on Unfogged: Are Blogs Soviets? ["What?"] This post is dedicated to my old friend Lisa Kleinman, although I'll understand if she doesn't incorporate the ideas in her body of work. By this point in time the weblog is a mature form of computer-mediated communication, and certain styles of "blog" ha... 9 Aug 2010 16:48
Something Is Possible: "Extensionality is Decidability" [2008] Extensionality is Decidability Now for a purer conjecture I was going to include in the soviet post, but which enthused me enough that I thought Id save it. In my post The Triadic Form I spoke about those old standbys of analytic philosophy of language extensionality and intensionality. A statement where th... 9 Aug 2010 16:48
The Money Part [Civic Networking] Civic Networking Jeff Rubard In recent comments, I was talking to Union Streets Andrew about a longtime hobby-horse of mine, theoretical republicanism. A lot of signification is based on composing a view of the world that you want people to find compelling, maybe even over and above your proper purchase on... 9 Aug 2010 15:40
Pole Balancing Applet Hi Folks, I wrote this little applet : http://tokis-edv-service.de/index.php/beispiele/pole-balancing My program uses Q(0) learning with Dynamic Programming. The state space is continuous, so I partitioned it to make Dynamic Programming possible. Unfortunately it never learns to balance the pole. I think I im... 11 Aug 2010 19:08
3SAT - Short Pigeonhole Refutations A partitioning solver can produce shorter refutations of the pigeonhole problem than resolution based solvers. Partitioning solvers repeatedly partition SAT instances until a solution is found or all partitions are exhausted. A refutation consists of a list of partitions containing contradictions. Simple Pa... 8 Aug 2010 21:07
Last CFP - Applied Computing 2010: 3 September 2010 Apologies for cross-postings. Please send to interested colleagues and students -- CALL FOR PAPERS - Deadline for submissions (last call): 3 September 2010 -- IADIS INTERNATIONAL CONFERENCE APPLIED COMPUTING 2010 October 14 - 16, 2010 TIMISOARA, ROMANIA (http://www.computing-conf.org/) * Keynote Speak... 5 Aug 2010 09:07
Parma Polyhedra Library 0.11 We are delighted to announce the availability of PPL 0.11, the latest release of the Parma Polyhedra Library, a modern library for the manipulation of convex polyhedra and other numerical abstractions especially targeted at static analysis and verification of complex software and hardware systems. The new releas... 5 Aug 2010 00:31 |