This page has moved to https://drmaciver.com/notebook/2020/07/indexing-a-dfa-in-shortlex-order/.