Mappings of languages by two-tape devices

@inproceedings{Ginsburg1964MappingsOL,
  title={Mappings of languages by two-tape devices},
  author={Seymour Ginsburg and Edwin H. Spanier},
  booktitle={SWCT},
  year={1964}
}
Several devices with two input lines and one output line are introduced. These devices are viewed as transformations which operate on pairs of (ALGOL-like) languages. Among the results proved are the following: (i) a pair consisting of a language and a regular set is transformed into a language; (ii) let (<italic>V, W</italic>) be a pair consisting of a language and a regular set. Then the set of those words <italic>w</italic><subscrpt>1</subscrpt>, for which there exists a word <italic>w… CONTINUE READING