Document Type

Technical Report

Publication Date

Fall 9-1-1976


A family of languages is called arithmetic if each infinite language in it is such that its length set contains an arithmetic progression. It is proved that there exists an ETOL language which is not an arithmetic substitution of any EDTOL language. This result shed some light on the question: How much more “complicated” are ETOL languages than EDTOL languages?