ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Theoretical Computer Science
Volume 356, Issues 1-2, 5 May 2006, Pages 212-223
In honour of Professor Christian Choffrut on the occasion of his 60th birthday
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (237 K)

  E-mail Article   
  Add to my Quick Links   
Bookmark and share in 2collab (opens in new window)
Request permission to reuse this article
  Cited By in Scopus (0)
 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.tcs.2006.01.029    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2006 Elsevier B.V. All rights reserved.

Identification of biRFSA languagesstar, open

Michel Latteuxa, E-mail The Corresponding Author, Aurélien Lemayb, E-mail The Corresponding Author, Yves Roosa, Corresponding Author Contact Information, E-mail The Corresponding Author and Alain Terlutteb, E-mail The Corresponding Author

aLaboratoire d’Informatique Fondamentale de Lille, U.M.R. C.N.R.S. 8022, Université de Lille 1, 59655 Villeneuve d’Ascq Cedex, France bÉquipe Grappa–EA 3588, Université de Lille 3, Domaine universitaire du “Pont de bois”, BP 149, 59653 Villeneuve d’Ascq Cedex, France

Available online 24 February 2006.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

The task of identifying a language from a set of its words is not an easy one. For instance, it is not feasible to identify regular languages in the general case. Therefore, looking for subclasses of regular languages that can be identified in this framework is an interesting problem. One of the most classical identifiable classes is the class of reversible languages, introduced by D. Angluin, also called bideterministic languages as they can be represented by deterministic automata (DFA) whose reverse is also deterministic. Residual finite state automata (RFSA) on the other hand is a class of non-deterministic automata that shares some properties with DFA. In particular, DFA are RFSA and RFSA can be much smaller. We study here learnability of the class of languages that can be represented by biRFSA: RFSA whose reverse are RFSA. We prove that this class is not identifiable in general but we present two subclasses that are learnable, the second one being identifiable in polynomial time.

Keywords: Non-deterministic finite automata; Residual languages; Regular inference


Theoretical Computer Science
Volume 356, Issues 1-2, 5 May 2006, Pages 212-223
In honour of Professor Christian Choffrut on the occasion of his 60th birthday
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.