< 1133746691 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1133749727 0 :mitte!n=opera@ADijon-152-1-33-26.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1133749746 0 :mitte!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1133750294 0 :Sgep!unknown@unknown.invalid QUIT : < 1133750686 0 :calamari!n=calamari@ip68-105-130-108.tc.ph.cox.net JOIN :#esoteric < 1133751358 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1133755250 0 :marcan_!n=marcanso@160.10.7.144 JOIN :#esoteric < 1133755547 0 :marcan!unknown@unknown.invalid QUIT :Connection timed out < 1133759180 0 :mitte!unknown@unknown.invalid PART #esoteric :? < 1133768354 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1133768510 0 :marcan_!unknown@unknown.invalid QUIT :Success < 1133769599 0 :clog!unknown@unknown.invalid QUIT :ended < 1133769600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1133769723 0 :marcan!n=marcanso@160.10.7.147 JOIN :#esoteric < 1133773816 0 :CXII!n=Sanity@dialup-139.104.221.203.acc51-kent-syd.comindico.com.au JOIN :#esoteric < 1133774243 0 :CXI!unknown@unknown.invalid QUIT :Nick collision from services. < 1133774245 0 :CXII!unknown@unknown.invalid NICK :CXI < 1133775128 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1133782840 0 :puzzlet!n=puzzlet@61.247.128.83 JOIN :#esoteric < 1133784684 0 :int-e!n=noone@td9091de5.pool.terralink.de JOIN :#esoteric < 1133788314 0 :puzzlet!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1133788316 0 :tokigun!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1133788360 0 :puzzlet!n=puzzlet@61.247.128.83 JOIN :#esoteric < 1133788360 0 :tokigun!i=tokigun@sparcs45.kaist.ac.kr JOIN :#esoteric < 1133790306 0 :jix!i=jix@F36d3.f.strato-dslnet.de JOIN :#esoteric < 1133791105 0 :puzzlet!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1133791105 0 :tokigun!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1133791121 0 :puzzlet!n=puzzlet@61.247.128.83 JOIN :#esoteric < 1133791303 0 :tokigun!i=tokigun@sparcs45.kaist.ac.kr JOIN :#esoteric < 1133791874 0 :tokigun!unknown@unknown.invalid QUIT :brown.freenode.net irc.freenode.net < 1133791875 0 :tokigun!i=tokigun@sparcs45.kaist.ac.kr JOIN :#esoteric < 1133793941 0 :kipple!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1133793993 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1133801683 0 :Keymaker!n=nobody@wire74.adsl.netsonic.fi JOIN :#esoteric < 1133801728 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :evening < 1133802173 0 :lirthy!unknown@unknown.invalid QUIT :"in truth there is no better place to be" < 1133802530 0 :lirthy!i=klutzy@dor20517.kaist.ac.kr JOIN :#esoteric < 1133806011 0 :int-e!unknown@unknown.invalid PART #esoteric :? < 1133807242 0 :Keymaker!unknown@unknown.invalid PART #esoteric :? < 1133808523 0 :int-e!n=noone@td9091de5.pool.terralink.de JOIN :#esoteric < 1133810221 0 :int-e!unknown@unknown.invalid PART #esoteric :? < 1133814685 0 :calamari!n=calamari@ip68-105-130-108.tc.ph.cox.net JOIN :#esoteric < 1133814694 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1133815100 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1133817089 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1133818586 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hmm.. I wonder if it is possible to simulate a Turing machine that is possibly a decider, or whether I can only simulate a recognizer < 1133818614 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :(I mean if the TM is possibly a decider or a recognizer, but I don't know which) < 1133818642 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :err strike that.. makes no sense :) < 1133818705 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :the halting problem I think tells me that I can't simulate a TM and produce a decider < 1133819196 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :decider? recognizer? < 1133819211 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric : err strike that.. makes no sense :) < 1133819218 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1133819264 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :the only recognizers I know of are for TM's and Tron.. hehe < 1133819369 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hmm, actually maybe it would work < 1133819384 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :if the simulation got to a reject state then it would reject < 1133819400 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I was getting confused with nondeterministic TM's < 1133819439 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yay.. this is much easier :) < 1133820736 0 :Arrogant!i=Arrogant@35.orlando-09-10rs.fl.dial-access.att.net JOIN :#esoteric < 1133821205 0 :Keymaker!n=nobody@wire74.adsl.netsonic.fi JOIN :#esoteric < 1133821217 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :'ello calamari < 1133821223 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :have you checked your forums? < 1133821237 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :bertram and daniel have posted very short entries.. < 1133821263 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :(int-e and dbc, i mean) < 1133821438 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1133821467 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it's pretty cool < 1133821474 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i can't wait to see their solutions < 1133821531 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I unfortunately can't justify writing an entry :( too much homework .. working on it now even < 1133821549 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yeah :\ < 1133821573 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :maybe I can extend the deadline a couple weeks.. (just kidding) < 1133821583 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :phew :) < 1133821591 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :what time is it over there now? < 1133821618 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :3:38pm < 1133821625 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :errr.. 3:26pm ;) < 1133821649 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :wow.. my watch is over 12 minutes off from them real time < 1133821655 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1133821677 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmm, when i wake up tomorrow, the competition has ended. nice :D < 1133821695 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :then i can get to see the others' entries.. < 1133821728 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah.. although I still need to write the test cases < 1133821734 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :well, in case nobody else enters i'm kinda "third" ;) < 1133821739 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :and that won't be happening until after finals < 1133821740 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ah, the tests < 1133821746 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :here are some suggestions: < 1133821754 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :1. file with only one new-line < 1133821767 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :2. file with few ks of "abc" pattern < 1133821768 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I have 11 different orderings of a b and c I need to test for :) < 1133821777 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1133821799 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :remember to have some long tests, over 255 chars of each < 1133821805 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :letter < 1133821806 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah definitely < 1133821820 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I'll probably write some randomly generated tests as well < 1133821824 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1133821846 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :but everyone will be tested with the same things, for fairness < 1133821856 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1133821884 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :ok, afk to continue my thrilling proof of the equivalence of a 2 stack PDA and TM < 1133821890 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1133821915 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric : < 1133822647 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Are you doing that just for fun, or is it an exercise of some sort? < 1133822661 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Can't you just say it's obvious that they're equivalent? :p < 1133822668 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1133822675 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :it's school work, i assume < 1133822688 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: it's homework < 1133823021 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Heh, on the 'introduction to theoretical computer science' course we mostly had to just design TMs for various languages. Though there were some "prove foo" exercises, too. < 1133823215 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :the more powerful model of computation, TM > PDA > FSA, right? < 1133823222 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1133823247 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :TM > decider > nondeterministic PDA > deterministic PDA > FSA < 1133823266 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :what PDA stands for? < 1133823269 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :iirc PDA has it's own stack-like data management system < 1133823271 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :push down < 1133823276 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :automata(automaton) < 1133823276 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pushdown automata < 1133823287 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ah, of course.. i forgot.. < 1133823309 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :FSA does not, but PDA has one stack-like thing < 1133823326 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :so i think that term '2 stack PDA' is a little bit weird < 1133823390 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :on the homework it is described as a k stack PDA, where k=0 an NFA, k=1 a normal PDA < 1133823424 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :NFA being a nodeterministic FSA < 1133823456 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :NFA's and FSA's are equally powerful < 1133823469 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :as are TM's and nondeterministic TM's < 1133823504 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :And n-track TM's and n-tape TM's, although that's somewhat obvious too. < 1133823510 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :there is some question whether a probabilistic TM is more powerful than a normal TM.. at least according to wikipedia < 1133823903 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :argh.. PDA's don't give EOF.. messing up my proof. hehe < 1133824623 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :Byeall < 1133824625 0 :Sgep!unknown@unknown.invalid QUIT : < 1133824977 0 :kipple!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1133825276 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric