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
Distribution Statement : APPROVED FOR PUBLIC RELEASE