Characterization theorems on abstract families of transducers

Etsuro Moriya

doi:10.1016/0020-0255(75)90025-0

Characterization theorems on abstract families of transducers

Etsuro Moriya^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	227-238
Number of pages	12
Journal	Information Sciences
Volume	9
Issue number	3
DOIs	https://doi.org/10.1016/0020-0255(75)90025-0
Publication status	Published - 1975
Externally published	Yes

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

Access to Document

10.1016/0020-0255(75)90025-0

Cite this

@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

SN - 0020-0255

VL - 9

SP - 227

EP - 238

JO - Information Sciences

JF - Information Sciences

IS - 3

ER -

Characterization theorems on abstract families of transducers

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this