S. Horváth, E. Kinber, A. Salomaa, and S. Yu, “Decision problems resulting from grammatical inference”, Ann. Fenn. Math., vol. 12, no. 2, pp. 287–298, Aug. 1987.