Accession Number : AD0691258

Title :   THE CLASS OF REGULAR SETS IS PROPERLY CONTAINED IN THE CLASS OF PRIMITIVE RECURSIVE SETS.

Descriptive Note : Technical rept.,

Corporate Author : IOWA UNIV IOWA CITY DEPT OF MATHEMATICS

Personal Author(s) : Weeg,Gerard P.

Report Date : JUN 1969

Pagination or Media Count : 11

Abstract : It was stated in Kleene that every regular set is a primitive recursive set. Since, however, regular sets are certain subsets of a finitely generated free semigroup, while primitive recursive sets are subsets of the natural numbers, the relationship between the two concepts is not obvious. In this paper an appropriate mapping into the natural numbers is introduced, allowing a straightforward proof of titled result. (Author)

Descriptors :   (*SET THEORY, AUTOMATA), GROUPS(MATHEMATICS), MAPPING(TRANSFORMATIONS), NUMBER THEORY, RECURSIVE FUNCTIONS, THEOREMS

Subject Categories : Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE