My solution produces an automaton with 2n^2 + n states, but what is the smallest possible size? Is it still ~n^2?

Edited by author 14.02.2024 16:19