Date: Mon Mar 12 20:27:45 2012
Authors: Sanjay Jain, Frank Stephan, and Thomas Zeugmann
Abstract. Nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton (1982) and Freivalds (2009, 2010). They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. This paper studies the amount of nonconstructivity needed to learn classes of formal languages. Different learning types are compared with respect to the amount of nonconstructivity needed to learn indexable classes and recursively enumerable classes, respectively, of formal languages from positive data. Matching upper and lower bounds for the amount of nonconstructivity needed are shown.
©Copyright 2012 Authors