infinite alphabets

1-VA

Share

What a position is

Tokens

Word:
accepting ● round token (one letter) ■ square token (fresh μ)

Position

Matrices M, B and the vectors vi

Exploration

not accepting (double outline) on the self-covering loop (the pumped path)

Length words up to renaming new positions
Length Position Word acc.