Maximal universal width of an AFA is NP-hard. - John Alajaji; Kai Salomaa (Theor. Comput. Sci., 2025)