ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.

Masafumi Yamashita, Namio Honda, Yasuyoshi Inagaki

Research output: Contribution to journalArticle

Abstract

An investigation was conducted of the computation power of concurrent processing systems satisfying two conditions: (i) each process created in a system is a straight line program; and (ii) each execution of a process creation event is not controlled by a synchronization mechanism. For this purpose, SPS is defined as a model of concurrent processing systems and SPS languages which represent the sets of valid computation histories of SPS, and model concurrent processing systems satisfying these conditions using SPS. Then, their computation power is investigated using SPS languages from the following viewpoints: (i) inclusion relations among the set of target SPS languages, the set of regular sets, the set of languages which are acceptable by 1-counter automata, the set of context-free languages and the set of context sensitive languages; and (ii) closure properties under set operations such as union, intersection, complementation, concatenation, intersection with a regular set, reversal, homomorphism and shuffle.

Original languageEnglish
Pages (from-to)1-10
Number of pages10
JournalSystems, computers, controls
Volume15
Issue number1
Publication statusPublished - Jan 1 1984

Fingerprint

Context sensitive languages
Processing
Context free languages
Synchronization

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES. / Yamashita, Masafumi; Honda, Namio; Inagaki, Yasuyoshi.

In: Systems, computers, controls, Vol. 15, No. 1, 01.01.1984, p. 1-10.

Research output: Contribution to journalArticle

@article{70adf98b49cc4bb09cbc7445a468c689,
title = "ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.",
abstract = "An investigation was conducted of the computation power of concurrent processing systems satisfying two conditions: (i) each process created in a system is a straight line program; and (ii) each execution of a process creation event is not controlled by a synchronization mechanism. For this purpose, SPS is defined as a model of concurrent processing systems and SPS languages which represent the sets of valid computation histories of SPS, and model concurrent processing systems satisfying these conditions using SPS. Then, their computation power is investigated using SPS languages from the following viewpoints: (i) inclusion relations among the set of target SPS languages, the set of regular sets, the set of languages which are acceptable by 1-counter automata, the set of context-free languages and the set of context sensitive languages; and (ii) closure properties under set operations such as union, intersection, complementation, concatenation, intersection with a regular set, reversal, homomorphism and shuffle.",
author = "Masafumi Yamashita and Namio Honda and Yasuyoshi Inagaki",
year = "1984",
month = "1",
day = "1",
language = "English",
volume = "15",
pages = "1--10",
journal = "Systems, computers, controls",
issn = "0096-8765",
publisher = "Scripta Pub Co.",
number = "1",

}

TY - JOUR

T1 - ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.

AU - Yamashita, Masafumi

AU - Honda, Namio

AU - Inagaki, Yasuyoshi

PY - 1984/1/1

Y1 - 1984/1/1

N2 - An investigation was conducted of the computation power of concurrent processing systems satisfying two conditions: (i) each process created in a system is a straight line program; and (ii) each execution of a process creation event is not controlled by a synchronization mechanism. For this purpose, SPS is defined as a model of concurrent processing systems and SPS languages which represent the sets of valid computation histories of SPS, and model concurrent processing systems satisfying these conditions using SPS. Then, their computation power is investigated using SPS languages from the following viewpoints: (i) inclusion relations among the set of target SPS languages, the set of regular sets, the set of languages which are acceptable by 1-counter automata, the set of context-free languages and the set of context sensitive languages; and (ii) closure properties under set operations such as union, intersection, complementation, concatenation, intersection with a regular set, reversal, homomorphism and shuffle.

AB - An investigation was conducted of the computation power of concurrent processing systems satisfying two conditions: (i) each process created in a system is a straight line program; and (ii) each execution of a process creation event is not controlled by a synchronization mechanism. For this purpose, SPS is defined as a model of concurrent processing systems and SPS languages which represent the sets of valid computation histories of SPS, and model concurrent processing systems satisfying these conditions using SPS. Then, their computation power is investigated using SPS languages from the following viewpoints: (i) inclusion relations among the set of target SPS languages, the set of regular sets, the set of languages which are acceptable by 1-counter automata, the set of context-free languages and the set of context sensitive languages; and (ii) closure properties under set operations such as union, intersection, complementation, concatenation, intersection with a regular set, reversal, homomorphism and shuffle.

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

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

M3 - Article

AN - SCOPUS:0021190658

VL - 15

SP - 1

EP - 10

JO - Systems, computers, controls

JF - Systems, computers, controls

SN - 0096-8765

IS - 1

ER -