Generalised stream X-machines and cooperating distributed grammar systems

Formal Aspects of Computing

Volumn 12, Issue 6, 2000, Pages 459-472

  Gheorghe, Marian ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Computational models; Cooperating distributed grammar systems; Formal grammars; Generalised stream X machines; Turing machines

Indexed keywords

EID: 0000916016     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070005     Document Type: Article

References (13)

1. Bǎlǎnescu, T., Georgescu, H. and Gheorghe, M.: Grammar systems with counting derivation and dynamical priorities. In G. Paun and A. Salomaa, editors, New Trends in Formal Languages. LNCS. Spring, Berlin, pages 150-166, 1997.
2. Bǎlǎnescu, T., Georgescu, H. and Gheorghe, M.: A new type of counting derivation for CD grammar systems, In Grammatical Models of Multi-Agent Systems, Gordon & Breach, London, pages 1-17, 1999.
3. Bǎlǎnescu, T., Georgescu, H. and Gheorghe, M.: Stream X-machines with underlying distributed grammars. Informatica, (submitted) 2000.
4. Csuhaj-Varju, E., Dassow, J., Kelemen, J. and Pǎun, G.: Grammar Systems: A Grammatical Approach to Distribution and Cooperation. Gordon & Breach, London, 1994.
5. Dassow, J. and Kelemen, J.: Cooperating distributed grammar systems: a link between formal languages and artificial intelligence. Bulletin of EATCS, 45:131-145, 1991.
6. Eilenberg, S.: Automata, Languages and Machines, Vol. A. Academic Press, London, 1974.
7. Holcombe, M.: X-machines as a basis for dynamic system specification. Software Engineering Journal, 3:69-76, 1988.
8. Holcombe, M., Bǎlǎnescu, T., Gheorghe, M. and Radovici-Mǎrculescu, P.: On testing generalised stream X-machines, In G. Pǎun, editor, Recent Topics in Mathematical and Computational Linguistics. Romanian Academy Publishing House, Bucharest, pages 130-141, 2000.
9. Holcombe, M. and Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Berlin, 1998.
10. Hopcroft, J. E. and Ullman, J. D.: Introduction to Automata Theory, Language and Computation. Addison-Wesley, Reading, MA, 1979.
11. Ipate, F. and Holcombe, M.: Another look at computability. Informatica, 20:359-372, 1996.
12. Ipate, F. and Holcombe, M.: An integration testing method that is proved to find all faults. International Journal of Computer Mathematics, 69:159-178, 1997.
13. Meersman, R. and Rozenberg, G.: Cooperating grammar systems. In Proceedings of MFCS 78. LNCS 64, Springer, Berlin, 364-374, 1978.