Characterization theorems on abstract families of transducers

Etsuro Moriya

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

For an AFL /oL and an AFT /oM, /oM(/oL) denotes the family of languages obtained from languages in /oL by imposing transformations through transducers in /oM. Then /oM (/oL) is a full AFL. Two characterization theorems of /oM (/oL) are given. One is in terms of homomorphism and intersection, and the other is in terms of AFA with control set.

Original languageEnglish
Pages (from-to)227-238
Number of pages12
JournalInformation Sciences
Volume9
Issue number3
DOIs
Publication statusPublished - 1975
Externally publishedYes

Fingerprint

Characterization Theorem
Transducer
Transducers
Control Sets
Homomorphism
Intersection
Denote
Language
Family

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

Characterization theorems on abstract families of transducers. / Moriya, Etsuro.

In: Information Sciences, Vol. 9, No. 3, 1975, p. 227-238.

Research output: Contribution to journalArticle

Moriya, Etsuro. / Characterization theorems on abstract families of transducers. In: Information Sciences. 1975 ; Vol. 9, No. 3. pp. 227-238.
@article{d8e3c2b2bfd14cbfa5f7e25fb469a7a4,
title = "Characterization theorems on abstract families of transducers",
abstract = "For an AFL /oL and an AFT /oM, /oM(/oL) denotes the family of languages obtained from languages in /oL by imposing transformations through transducers in /oM. Then /oM (/oL) is a full AFL. Two characterization theorems of /oM (/oL) are given. One is in terms of homomorphism and intersection, and the other is in terms of AFA with control set.",
author = "Etsuro Moriya",
year = "1975",
doi = "10.1016/0020-0255(75)90025-0",
language = "English",
volume = "9",
pages = "227--238",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "3",

}

TY - JOUR

T1 - Characterization theorems on abstract families of transducers

AU - Moriya, Etsuro

PY - 1975

Y1 - 1975

N2 - For an AFL /oL and an AFT /oM, /oM(/oL) denotes the family of languages obtained from languages in /oL by imposing transformations through transducers in /oM. Then /oM (/oL) is a full AFL. Two characterization theorems of /oM (/oL) are given. One is in terms of homomorphism and intersection, and the other is in terms of AFA with control set.

AB - For an AFL /oL and an AFT /oM, /oM(/oL) denotes the family of languages obtained from languages in /oL by imposing transformations through transducers in /oM. Then /oM (/oL) is a full AFL. Two characterization theorems of /oM (/oL) are given. One is in terms of homomorphism and intersection, and the other is in terms of AFA with control set.

UR - http://www.scopus.com/inward/record.url?scp=0016628418&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0016628418&partnerID=8YFLogxK

U2 - 10.1016/0020-0255(75)90025-0

DO - 10.1016/0020-0255(75)90025-0

M3 - Article

AN - SCOPUS:0016628418

VL - 9

SP - 227

EP - 238

JO - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 3

ER -