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
A simple template for writing multiprograms; will it work always? Dear All, I was looking into multiprogramming. After some studies, I thought of a simple template for designing multiprogram code. Many times in multiprogramming, we need to use mutex. generally we choose critical section in our code which if left unprotected, may give erroneous results because of race conditi... 6 Aug 2010 22:34
solutions manual solutions for student team solutions.for.student(a)hotmail.com We're a team for providing solution manuals to help students in their study. We sell the books in a soft copy, PDF format. We will find any book or solution manual for you. Just email us: solutions.for.student(a)hotmail.com List of some ... 29 Jul 2010 09:40
temporal lambda calculus Is there some kind of typed lambda calculus analogous to temporal logics? Note that I'm not quite sure what I'm asking here, but maybe some way to make sense of and complete the following kind of vague diagram, combinatory (or typed or untyped other) logic ----------------> lambda calculus ... 2 Aug 2010 15:51
"a new cosmology" "a new cosmology" Fitzpatrick offers us a new cosmology that solves a lot of problems: We know something epochal happened 10 to 15 billion years ago because of the Cosmic Microwave Background Radiation (CMBR). (click link): http://www.amperefitz.com/fitzcos.htm Science! ... 24 Jul 2010 09:04
Book: A New Kind of Grammars A New Kind of Grammars: A new kind of generative grammars that can produce the empty language is designed in this book. http://amzn.com/1452828687 An unrepresented mongrel of Computer Science, the null or invalid string gets a new representative symbol in this book. ... 23 Jul 2010 22:24
solutions book solutions for student team solutions.for.student(a)hotmail.com We're a team for providing solution manuals to help students in their study. We sell the books in a soft copy, PDF format. We will find any book or solution manual for you. Just email us: solutions.for.student(a)hotmail.com List of some ... 23 Jul 2010 08:04 |