A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data (extended abstract)