Category: finite-alphabet