TY - JOUR
T1 - An Inverse Homomorphic Characterization of Full Principal AFL
AU - Yokomori, Takashi
AU - Wood, Derick
N1 - Funding Information:
*The work was supported by a Natural Sciences and Engineering Research Council of Canada Grant NO. A-5692, and was carried out during the first author’s visit to the Unit for Computer Science, MeMaster University.
PY - 1984/9
Y1 - 1984/9
N2 - The main result of this paper is: Let L be a full principal AFL closed under context-free substitution. Then there is a fixed language l0 in L such that for each L in L there exist a weak coding h and a homomorphism g such that L = hg-1(L0). As a corollary, it immediately follows that there is a fixed ETOL language L0 such that for each ETOL language L there exist a weak coding h and a homomorphism g such that L = hg-1(L0).
AB - The main result of this paper is: Let L be a full principal AFL closed under context-free substitution. Then there is a fixed language l0 in L such that for each L in L there exist a weak coding h and a homomorphism g such that L = hg-1(L0). As a corollary, it immediately follows that there is a fixed ETOL language L0 such that for each ETOL language L there exist a weak coding h and a homomorphism g such that L = hg-1(L0).
UR - http://www.scopus.com/inward/record.url?scp=0021488612&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0021488612&partnerID=8YFLogxK
U2 - 10.1016/0020-0255(84)90029-X
DO - 10.1016/0020-0255(84)90029-X
M3 - Article
AN - SCOPUS:0021488612
VL - 33
SP - 209
EP - 215
JO - Information Sciences
JF - Information Sciences
SN - 0020-0255
IS - 3
ER -