Aaah, the joy of reliving computer science 101. I’m implementing epsilon closure computation. It’s like a state-space exploration with a state-space exploration for each step. […]
Tag: Status Updates
At first, I thought my automaton library couldn’t handle parallel epsilon transitions, the I found out that my general design made supporting that extremely easy. […]
It’s something of a revelation when you discover that what you and others have been working on for 5 years is wrong. It’s a delicate situation to try and correct it in apolitically correct way. I did not go that way. […]
Gotta get down on Wednesday. […]
Anybody remembers how to translate from regular expressions to NDFA? […]
Screw LTL! – from now on, the Declare semantics is using regular expressions. […]