An Inverse Homomorphic Characterization of Full Principal AFL

Takashi Yokomori, Derick Wood

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

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).

Original languageEnglish
Pages (from-to)209-215
Number of pages7
JournalInformation Sciences
Volume33
Issue number3
DOIs
Publication statusPublished - 1984
Externally publishedYes

Fingerprint

Homomorphic
Substitution reactions
Homomorphism
Coding
Immediately
Substitution
Corollary
Closed
Language

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Information Systems
  • Information Systems and Management
  • Statistics, Probability and Uncertainty
  • Electrical and Electronic Engineering
  • Statistics and Probability

Cite this

An Inverse Homomorphic Characterization of Full Principal AFL. / Yokomori, Takashi; Wood, Derick.

In: Information Sciences, Vol. 33, No. 3, 1984, p. 209-215.

Research output: Contribution to journalArticle

@article{f9f799f316df4425b6fd9ba5736d244d,
title = "An Inverse Homomorphic Characterization of Full Principal AFL",
abstract = "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).",
author = "Takashi Yokomori and Derick Wood",
year = "1984",
doi = "10.1016/0020-0255(84)90029-X",
language = "English",
volume = "33",
pages = "209--215",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "3",

}

TY - JOUR

T1 - An Inverse Homomorphic Characterization of Full Principal AFL

AU - Yokomori, Takashi

AU - Wood, Derick

PY - 1984

Y1 - 1984

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 -