You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
John Nicol edited this page Oct 26, 2025
·
1 revision
The "test" command outputs the first n non-empty values accepted by an automaton in shortlex order: https://en.wikipedia.org/wiki/Shortlex_order), where n is a number supplied by the user.
The syntax for the "test" command is as follows:
test <name> <number>
If fewer than n values are accepted, all accepted values are printed in LSD radix order.
Note that inputs that begin with 0 (or [0,0] with over 2 arguments, etc.) are not listed.
This is because the default representation for numbers in automata ignores most-significant 0s.