Lunar eclipse early this morning

Your PDA diagram looks a bit fishy. And by "fishy", I mean it looks like a fish. ;)
On a more serious note, a long time ago, I used to teach finite automata, so it's always fun to see people using it in real life.