Req: Link to TNF machine

Feature Request: It would be cool if a page like linked to the “standard” TNF version: somehow.


I really like this feature. I basically had to do code for that in Python in order to give the translations of Skelet’s machines as indices of our DB (

Although there is the tiny tiny inconvenient that I believe TNF is not computable in general :smiley:

However, it should be OK for 5-state machines.

Yes, TNF is not (generally) computable :confused: But for n-state machines you just need to run TNF algorithm for BB(n-1) steps which is quite tractable for 5-state case :slight_smile:

Alternatively, you could consider Nick Drozd’s “Lexical Normal Form

Cool, definitely going to look into that!