identification-in-the-limit

This paper addresses open questions in the Gold-Angluin model of language identification in the limit, showing that computational traces using only a small alphabet and defined directly from the language enable identification in the limit, without requiring an underlying machine model.