finite state automata

Posted on March 26th, 2003 by Sacha Chua

For finite state automata, someone who wishes to remain anonymous uses gastex (http://www.liafa.jussieu.fr/~gastin/gastex/gastex.html). Thanks for the tip!

Save to - del.icio.us - Digg it - reddit - StumbleUpon

Comments »

No comments yet.

On This Day...

2008: Three tips for long flights — Flying to the other side of the world means almost a full day in transit. Here are three tips to [...]

2008: Morning Pages — Kathryn Everest has the most vivid figures of speech I know. Yesterday, she described social media adoption as "You can [...]

2007: Tea time should be for everyone — I was thinking about whether to organize my Sunday tea parties along conversational themes, carefully scheduling guests to ensure an amicable mix. [...]

2007: Ethics approval! — Yay, got ethics approval for my usability study! Now I just have to work on polishing up the prototype and making [...]

2007: Tea Party 2: Attack of the Eclairs — Guests: James Iveniuk Wayne Young Jessica Young Simon Rowland Served: Eclairs (happy! ;) ) Ambrosia apples Clementines A marvelous assortment of tea, from which Simon chose Mountain Spring Jasmine Wayne [...]

2007: My own place — Another paean to the joys of having my own place! I'm coming to *like* not having other people around, at least [...]

2006: Onions — It seems like a good day to make onion soup. I've chopped all of my onions. Now what? On Technorati: cooking Random Japanese sentence: [...]

2006: Forks — I hate forks. In other news, it's too sunny for it to be this gray a day. On Technorati: sad Random Japanese sentence: [...]

2005: Still sick — I still have a hard time swallowing, and I'm somewhat warmer than normal. Oh well. Also feel very—no, not quite sleepy, [...]

2003: eagbay@ateneo.edu —

2003: curriculum review meeting — DISCS Planning Kick-Off Meeting Issues / Plans - New Chair: Didith - Research Program goal: create more structure in our research proposal: form "research groups" hard [...]

2003: compaq tablet tc1000 — tech — This looks pretty sweet. I'll look around for it here, and if it feels nice, I'll see if I can justify [...]

2003: student home directories — Students should be able to have their own directories, and preferably have their own webpages too. They also need to be [...]

2003: i-manila connection works fine — Looks like POP connections to i-manila work again. Cool! It's a universal conspiracy - the minute I complain about things in [...]

2003: puzzles at IBM — The website of the person who wished to remain anonymous also turns up an interesting link to monthly puzzles at IBM (http://www.research.ibm.com/ponder). Update: [...]

2003: strange search queries — These are some of the ways people have gotten to my website: InterestingQueries

2003: personal information — Ooops. Hadn't realized I'd left some of the student lists out of my .cvsignore . My apologies to people who found [...]

2003: Ryan Kristoffer Tan joins blogging community — blog — Looks like Ryan Kristoffer Tan has started blogging over at http://www.blogspot.com . Isn't it about time you started keeping an online journal, [...]

2003: sony pcg-u1 battery life: 2 hours — tech — I think I need one of those extended batteries. The specs of my computer can be found at http://www.transmetazone.com/articleview.cfm?articleID=1056 . In comparison, the [...]

On this day...