00:01 (quit) Gertm: Ping timeout: 240 seconds
00:13 (quit) jeapostrophe: Ping timeout: 246 seconds
00:54 (quit) Shambles_: Ping timeout: 240 seconds
01:21 (quit) mceier: Quit: leaving
01:28 (quit) hash_table: Ping timeout: 255 seconds
01:28 (quit) getpwnam: Ping timeout: 255 seconds
01:38 (quit) jyc: Quit: Leaving
01:40 (quit) mye_: Ping timeout: 255 seconds
01:43 (join) Gertm_
01:44 (nick) Gertm_ -> Gertm
02:03 (join) crundar__
02:05 (quit) crundar: Ping timeout: 276 seconds
02:06 (join) xonox
02:10 (join) jyc
02:17 (quit) adu: Quit: adu
02:21 (quit) yoklov: Quit: bye!
02:22 (quit) SHODAN: Quit: No Ping reply in 180 seconds.
02:22 (join) SHODAN
02:25 lewis1711: yay, I can now convert NFA's into DFA's. except some of them have a god-awfully large number of states
02:27 jonrafkind: now convert a gnfa to a dfa
02:28 (join) adu
02:29 (quit) adu: Client Quit
02:31 (join) mceier
02:34 lewis1711: jonrafkind: looks painful. first I will figure out how to step myself generating 2^n states for the DFA's all the time
02:35 jonrafkind: i dont think ive done anything with nfa's or dfa's in ~10 years
02:36 (join) untrusted
02:38 lewis1711: well for an NFA with epsilon transitions, the equivalent DFA states are the powerset of the NFA's... then you can filter that by saying "{S |  S In Powerset(NFA-states) such that S = ECLOSE(S)}"
02:49 (join) djcoin
02:53 (quit) untrusted: Remote host closed the connection
03:03 (quit) xonox: Quit: Leaving
03:43 lewis1711: http://pastebin.com/8m4bGGV6 I am so close here I can taste it. line 12 will involve me folding everything back with a set union and a recursive call but... I am just blanking here
03:43 lewis1711: any help?
03:47 (join) noelw
03:50 lewis1711: http://pastebin.com/zyv0TfgQ I'm so close. just gotta figure out why I get non-terminating recursion... similar to what I did yesterday
03:53 noelw: If a state has a transition to itself, what happens?
03:54 (join) Shambles_
03:54 lewis1711: noelw: that's a very good point
04:00 (join) bitonic
04:09 (quit) jonrafkind: Ping timeout: 245 seconds
04:18 Haffe: I saw state machine transition diagrams and started thinking of Markov chains.
04:26 (join) gciolli
04:32 lewis1711: yeah I cannot figure this out. might just write the imperative version
04:35 (quit) bitonic: Ping timeout: 246 seconds
04:36 noelw: Luke, use the design recipe
04:46 (join) masm
04:48 (quit) acarrico: Ping timeout: 272 seconds
04:48 (join) jesyspa
05:02 (join) acarrico
05:07 (quit) dsantiago: Quit: Computer has gone to sleep.
05:11 (join) dsantiago
05:12 (quit) acarrico: Ping timeout: 276 seconds
05:16 (quit) gciolli: Quit: Leaving.
05:29 (join) acarrico
05:31 (quit) Shviller: Ping timeout: 244 seconds
05:36 (join) Shviller
05:38 (quit) acarrico: Ping timeout: 244 seconds
05:39 (quit) jyc: Read error: Connection reset by peer
05:40 (quit) noelw: Ping timeout: 264 seconds
05:40 (join) noelw
05:43 (join) bitonic
05:49 (quit) mithos28: Quit: mithos28
05:53 (join) acarrico
05:57 (quit) acarrico: Ping timeout: 244 seconds
06:10 (join) dzhus
06:12 (join) acarrico
06:22 (quit) acarrico: Ping timeout: 244 seconds
06:38 (join) acarrico
06:44 (quit) acarrico: Ping timeout: 245 seconds
06:45 lewis1711: yeah I can't traverse a tee. that's four hours i've spent on it. I'll try it tomorrow
06:47 noelw: Maybe this will help:
06:47 noelw: You need to ensure your algorithm makes progress. That is, the data is processes on the next recursion needs to be smaller than the data it processes on this recursion
06:48 noelw: IIRC this is typically done by keeping a set of visited states
06:48 noelw: Don't visit any state that has already been visited
06:48 noelw: Since we're talking about finite state automata your set must eventually become empty
06:49 lewis1711: noelw: I've tried to do it that way in my latest iteration. but I can't keep track of the states. hold up
06:52 lewis1711: http://pastebin.com/hbzSEePr
06:58 lewis1711: eh I'm too tired. I will work on it for an hour after I sleep, and if I still can't get it I will do it imperatively
06:58 lewis1711: thanks for the suggestions noelw
06:58 noelw: np
07:03 (part) lewis1711
07:04 (join) acarrico
07:11 (join) Demosthenes
07:16 (quit) acarrico: Ping timeout: 248 seconds
07:16 (quit) Demosthenes: Ping timeout: 244 seconds
07:16 (join) Demosthenes
07:28 (join) gciolli
07:30 (join) acarrico
07:58 (part) The_third_man
08:05 (join) kanak
08:10 (join) sikilpaake
08:12 (quit) gciolli: Quit: Leaving.
08:25 (quit) crundar__: Quit: Leaving
08:28 (quit) Demosthenes: Ping timeout: 240 seconds
08:29 (join) Demosthenes
08:35 (join) Shambles_1
08:38 (quit) Shambles_: Ping timeout: 272 seconds
08:40 (quit) Shambles_1: Client Quit
08:40 (join) Shambles_
08:46 (join) jeapostrophe
08:46 (quit) jeapostrophe: Changing host
08:46 (join) jeapostrophe
08:57 (join) hash_table
08:57 (join) getpwnam
09:00 (quit) karswell: Remote host closed the connection
09:10 (join) karswell
09:13 (quit) Shviller: Quit: bye
09:14 (join) Shviller
09:19 (quit) Kaylin: Ping timeout: 244 seconds
09:26 (quit) hash_table: Ping timeout: 246 seconds
09:27 (quit) getpwnam: Ping timeout: 268 seconds
09:28 (quit) noam: Ping timeout: 276 seconds
09:29 (join) noam
09:38 (join) gciolli
09:52 (join) Nisstyre_
09:53 (nick) Nisstyre_ -> Nisstyre
10:05 (join) veer
10:08 (quit) vu3rdd: Ping timeout: 272 seconds
10:26 (join) dnolen
10:30 (quit) jrslepak: Quit: What happened to Systems A through E?
10:32 (quit) mceier: Quit: leaving
10:36 (join) Nisstyre_
10:37 (nick) Nisstyre_ -> Nisstyre
10:37 (quit) veer: Quit: Leaving
10:38 (join) getpwnam
10:38 (join) hash_table
10:46 (join) jschuster
11:00 (join) ChibaPet
11:04 (quit) djcoin: Read error: Operation timed out
11:06 (join) djcoin
11:07 (join) jrslepak
11:11 (quit) masm: Ping timeout: 246 seconds
11:25 (join) mye
11:26 (join) jao
11:26 (quit) jao: Changing host
11:26 (join) jao
11:29 (quit) noelw: Quit: noelw
11:35 (quit) dnolen: Ping timeout: 276 seconds
11:48 (join) mceier
12:03 (join) MayDaniel
12:28 (join) mithos28
12:32 (join) jonrafkind
12:45 (quit) karswell: Remote host closed the connection
12:51 (quit) djcoin: Quit: WeeChat 0.3.7
12:52 (join) anRch
12:54 (join) karswell
13:09 (join) Nisstyre_
13:13 (quit) bitonic: Ping timeout: 246 seconds
13:20 (quit) jeapostrophe: Ping timeout: 244 seconds
13:26 (join) bitonic
13:26 (quit) gciolli: Quit: Leaving.
13:35 (nick) Nisstyre_ -> Nisstyre
13:45 (quit) anRch: Quit: anRch
13:53 (quit) acarrico: Ping timeout: 245 seconds
13:54 (join) mye_
13:58 (quit) mye: Ping timeout: 244 seconds
14:01 (quit) mithos28: Quit: mithos28
14:02 (join) jeapostrophe
14:02 (quit) jeapostrophe: Changing host
14:02 (join) jeapostrophe
14:10 (join) acarrico
14:16 (join) untrusted
14:25 (join) masm
14:35 (quit) untrusted: Remote host closed the connection
14:57 (quit) jeapostrophe: Ping timeout: 260 seconds
15:18 (join) Jeanne-Kamikaze
15:36 (join) bitonic`
16:00 (quit) bitonic: Disconnected by services
16:00 (nick) bitonic` -> bitonic
16:02 (join) jackhammer2022
16:04 (join) Nisstyre
16:22 (join) chimeracoder
16:27 (quit) rapacity: Quit: leaving
16:30 (join) rapacity
16:34 (quit) rapacity: Client Quit
16:36 (quit) Nisstyre: Quit: Leaving
16:39 (quit) acarrico: Ping timeout: 252 seconds
16:45 (quit) hash_table: Ping timeout: 248 seconds
16:45 (quit) getpwnam: Ping timeout: 248 seconds
16:54 (join) acarrico
17:10 (quit) kanak: Ping timeout: 244 seconds
17:20 (join) anRch
17:28 (join) pauls_
17:35 (join) getpwnam
17:35 (join) rapacity
17:36 (join) hash_table
17:39 (join) Nisstyre-laptop
17:51 (join) nilyaK
17:58 (join) dnolen
18:04 (quit) dnolen: Ping timeout: 244 seconds
18:06 (quit) jonrafkind: Ping timeout: 240 seconds
18:11 (quit) anRch: Quit: anRch
18:15 (quit) MayDaniel: Read error: Connection reset by peer
18:27 (join) jeapostrophe
18:27 (quit) jeapostrophe: Changing host
18:27 (join) jeapostrophe
18:29 (quit) Nisstyre-laptop: Remote host closed the connection
18:37 (join) jyc
18:40 (quit) jesyspa: Quit: leaving
18:46 (quit) jrslepak: Quit: What happened to Systems A through E?
18:46 (quit) Jeanne-Kamikaze: Quit: Did you hear that ?
18:49 (quit) jyc: Remote host closed the connection
18:54 (join) jyc
18:56 (quit) karswell: 
18:57 (join) karswell
19:05 (join) mye__
19:08 (join) lewis1711
19:09 (quit) mye_: Ping timeout: 264 seconds
19:14 (join) jrslepak
19:28 (quit) dzhus: Ping timeout: 260 seconds
19:30 (join) jesyspa
19:55 (quit) sikilpaake: Ping timeout: 276 seconds
20:10 (join) sikilpaake
20:25 (quit) nilyaK: Read error: Connection reset by peer
20:27 (quit) jyc: Read error: Connection reset by peer
20:27 (quit) karswell: Remote host closed the connection
20:30 (quit) cdidd: Ping timeout: 272 seconds
20:30 (quit) masm: Quit: Leaving.
20:33 lewis1711: if I have a list of characters like '(#\a #\b) is there anyway I could convert them to a string "a, b" ?
20:33 lewis1711: I can't find anything to concat characters together in the reference
20:35 (join) karswell
20:36 (join) jyc
20:39 bremner: rudybot: init racket
20:39 rudybot: bremner: your sandbox is ready
20:39 bremner: rudybot: eval (string #\h #\i)
20:39 rudybot: bremner: ; Value: "hi"
20:39 bremner: oh, you want commas and stuff
20:40 lewis1711: oh string
20:40 lewis1711: yeah fold them into the middle of a sequence of chars
20:41 bremner: sounds like you want a combinatrion of string and string-join
20:41 lewis1711: christ
20:42 bremner: I guess you could first promote your characters to 1 character strings, then run string-join
20:44 (join) cdidd
20:45 lewis1711: rudybot: (define (f chars) (for/fold ([init (string #\, #\space)])  ([c chars]) (string-join (string c) init)))
20:45 rudybot: lewis1711: Done.
20:45 lewis1711: rudybot: (f '(#\a #\b))
20:45 rudybot: lewis1711: error: string-join: expected argument of type <list-of-strings>; given: "a"
20:46 lewis1711: rudybot: (define (f chars) (for/fold ([init (string #\, #\space)])  ([c chars]) (string-join `(,(string c) init))))
20:46 rudybot: lewis1711: Done.
20:46 lewis1711: rudybot: (f '(#\a #\b))
20:46 rudybot: lewis1711: error: procedure string-join: expects 2 arguments, given 1: '("a" init)
20:46 lewis1711: rudybot: (define (f chars) (for/fold ([init (string #\, #\space)])  ([c chars]) (string-join (list (string c)) init))))
20:46 rudybot: lewis1711: I guess you could first promote your characters to 1 character strings, then run string-join
20:47 lewis1711: rudybot: (define (f chars) (for/fold ([init (string #\, #\space)])  ([c chars]) (string-join (list (string c)) init)))
20:47 rudybot: lewis1711: Done.
20:47 lewis1711: rudybot: (f '(#\a #\b))
20:47 rudybot: lewis1711: ; Value: "b"
20:47 lewis1711: :/
20:52 lewis1711: rudybot: (foldl (λ(l r) (string-join (list l r))) ", " (map string '(#\a #\b)))
20:52 rudybot: lewis1711: error: procedure string-join: expects 2 arguments, given 1: '("a" ", ")
20:52 lewis1711: rudybot: (foldl (λ(l r) (string-join (list l r))) ", " (map string '(#\a #\b)))
20:52 rudybot: lewis1711: error: procedure string-join: expects 2 arguments, given 1: '("a" ", ")
20:52 lewis1711: oh right, string-join is different
20:53 lewis1711: but yeah, I am stuck and this assignment is due soon. any help would be great
21:04 lewis1711: rudybot: (define (zip-with-commas xs)
21:04 lewis1711: (map string-append xs (make-list (length xs) ",")))
21:04 rudybot: lewis1711: I don't know what XS modules are.
21:04 lewis1711: meh, close enough
21:04 (join) Nafai
21:06 (join) Aune
21:15 (quit) jyc: Ping timeout: 244 seconds
21:19 (quit) romtank: Quit: Konversation terminated!
21:19 (quit) popaya: Quit: Konversation terminated!
21:19 (quit) sybex: Read error: Connection reset by peer
21:19 (quit) zurtik: Read error: Connection reset by peer
21:19 (join) romtank
21:19 (join) zurtik
21:19 (join) popaya
21:19 (join) sybex
21:21 (join) Nisstyre
21:25 (quit) jschuster: Quit: Coyote finally caught me
21:31 (join) nilyaK
21:33 (quit) Nisstyre: Quit: Leaving
21:35 (join) Nisstyre
21:37 (join) jyc
21:40 (join) jschuster
21:42 (quit) nilyaK: Read error: Connection reset by peer
21:42 (quit) jschuster: Quit: Coyote finally caught me
21:44 (quit) jesyspa: Quit: leaving
21:44 (join) nilyaK
21:47 (join) jschuster
21:47 (part) jschuster
21:47 (join) jschuster
21:54 (quit) Nisstyre: Quit: Leaving
21:55 (join) Nisstyre
22:02 (quit) Nisstyre: Quit: Leaving
22:03 (quit) jyc: Ping timeout: 246 seconds
22:04 (join) Nisstyre
22:04 (quit) nilyaK: Read error: Connection reset by peer
22:04 (join) jyc
22:32 (join) mithos28
22:48 (join) nilyaK
22:50 (quit) Shvillr: Ping timeout: 260 seconds
22:50 (join) Shvillr
22:53 (quit) Nisstyre: Quit: Leaving
23:00 (quit) Aune: Quit: L?mnar
23:03 (quit) mye__: Ping timeout: 252 seconds
23:07 (quit) jeapostrophe: Ping timeout: 248 seconds
23:07 (join) jeapostrophe
23:07 (quit) jeapostrophe: Changing host
23:07 (join) jeapostrophe
23:12 (quit) jeapostrophe: Ping timeout: 245 seconds
23:19 (quit) hash_table: Ping timeout: 255 seconds
23:19 (quit) getpwnam: Ping timeout: 255 seconds
23:23 (join) Nisstyre-laptop
23:34 (quit) jyc: Remote host closed the connection