Find link

language:

Find link is a tool written by Edward Betts.

searching for Shortlex order 1 found (9 total)

String (computer science) (4,976 words) [view diff] exact match in snippet view article

ordering that preserves well-foundedness. For the example alphabet, the shortlex order is ε < 0 < 1 < 00 < 01 < 10 < 11 < 000 < 001 < 010 < 011 < 100 < 101