| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Abstract : A remarkable result in [4] shows that in spite of its being less expressive than CCS w.r.t. weak bisimilarity, CCS! (a CCS variant where infinite behavior is specified by using replication rather than recursion) is Turing powerful. This is done by encoding Random Access Machines (RAM) in CCS!. The encoding is said to be non-faithful because it may move from a state which can lead to termination into a divergent one which do not correspond to any configuration of the encoded RAM. I.e., the encoding is not termination preserving. In this paper we study the existence of faithful encodings into CCS! of models of computability strictly less expressive than Turing Machines. Namely, grammars of Types 1 (Context Sensitive Languages), 2 (Context Free Languages) and 3 (Regular Languages) in the Chomsky Hierarchy. We provide faithful encodings of Type 3 grammars. We show that it is impossible to provide a faithful encoding of Type 2 grammars and that termination-preserving CCS! processes can generate languages which are not Type 2. We finally show that the languages generated by termination-preserving CCS! processes are Type 1 .
Cited literature [15 references]
https://hal.inria.fr/inria-00201547
Contributor : Jesus Aranda Connect in order to contact the contributor
Submitted on : Wednesday, January 2, 2008 - 1:31:15 AM
Last modification on : Friday, January 21, 2022 - 3:23:23 AM
Long-term archiving on: : Thursday, September 27, 2012 - 1:31:03 PM
Contributor : Jesus Aranda Connect in order to contact the contributor
Submitted on : Wednesday, January 2, 2008 - 1:31:15 AM
Last modification on : Friday, January 21, 2022 - 3:23:23 AM
Long-term archiving on: : Thursday, September 27, 2012 - 1:31:03 PM
File
aplas07.pdf
Files produced by the author(s)