Horváth, S., Kinber, E., Salomaa, A., & Yu, S. (1987). Decision problems resulting from grammatical inference. Annales Fennici Mathematici, 12(2), 287–298. https://doi.org/10.5186/aasfm.1987.1213