Closed this issue 8 years ago · 1 comments
I think I spent plenty space discussing tagged automata and only little time remains for the project, so I guess this is basically done.