A Subclass of Stream X machines with Underlying Distributed Grammars

The paper further investigates the properties of the stream X machines based on cooperating distributed grammar systems It is addres sed the case of regular components with various derivation modes and with derivation processes expressed by functions It is shown that in this case the translation power decreases but non context free languages still may be obtained from regular languages even for more restrictive mechanisms namely deterministic and output distinguishable devices When the deriva tion process leads to functions an upper limit of the number of derivation steps used by each component may be provided Some necessary conditions for transforming an Xmdg device for or a stream X machine into a cor responding deterministic one are also settled The speci cation of a smart card system illustrates that the concept is of practical interest too

[1]  Robert Meersman,et al.  Cooperating Grammar Systems , 1978, MFCS.

[2]  Jozef Kelemen,et al.  Syntactical models of distributed cooperative systems , 1991, J. Exp. Theor. Artif. Intell..

[3]  RomaniaO tober A new Type of Counting Derivation for Grammar Systems , 1997 .

[4]  Marian Gheorghe,et al.  Deterministic stream X-machines based on grammar systems , 2001, Where Mathematics, Computer Science, Linguistics and Biology Meet.

[5]  Marian Gheorghe,et al.  Communicating Stream X-Machines Systems are no more than X-Machines , 1999, J. Univers. Comput. Sci..

[6]  Gheorghe Paun,et al.  Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.

[7]  Florentin Ipate,et al.  Correct systems - building a business process solution , 1998, Applied computing.

[8]  Marian Gheorghe,et al.  Grammar Systems with Counting Derivation and Dynamical Priorities , 1997, New Trends in Formal Languages.

[9]  Florentin Ipate,et al.  An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..

[10]  Mike Holcombe X-machines as a basis for dynamic system specification , 1988, Softw. Eng. J..

[11]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[12]  J. Barnard,et al.  Communicating X-machines , 1996, Inf. Softw. Technol..

[13]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.