Inferring Uniquely Terminating Regular Languages from Positive Data

Erkki Mäkinen. Inferring Uniquely Terminating Regular Languages from Positive Data. Inf. Process. Lett., 62(2):57-60, 1997. [doi]

Abstract

Abstract is missing.