Horváth, S.; Kinber, E.; Salomaa, A.; Yu, S. Decision Problems Resulting from Grammatical Inference. Ann. Fenn. Math. 1987, 12, 287-298.