On the Classification of Recursive Languages

Case, John, Kinber, Efim, Sharma, Arun, & Stephan, Frank (2004) On the Classification of Recursive Languages. Information and Computation, 192(1), pp. 15-40.

View at publisher


A one-sided classifier for a given class of languages converges to 1 on every language from the class and outputs 0 infinitely often on languages outside the class. A two-sided classifier, on the other hand, converges to 1 on languages from the class and converges to 0 on languages outside the class. The present paper investigates one-sided and two-sided classification for classes of recursive languages. Theorems are presented that help assess the classifiability of natural classes. The relationships of classification to inductive learning theory and to structural complexity theory in terms of Turing degrees are studied. Furthermore, the special case of classification from only positive data is also investigated.

Impact and interest:

2 citations in Scopus
2 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 35727
Item Type: Journal Article
Refereed: Yes
DOI: 10.1016/j.ic.2004.03.001
ISSN: 0890-5401
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTATION THEORY AND MATHEMATICS (080200)
Divisions: Current > QUT Faculties and Divisions > Division of Research and Commercialisation
Deposited On: 21 Sep 2010 00:59
Last Modified: 29 Feb 2012 14:10

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page