What are X-Machines?

Abstract. X-machines were introduced by S. Eilenberg in 1974 ([Eil74]) as a mathematical framework for examining the relationships between languages and automata. The X-machine definition provided a very general concept that captured in a simple and elegant way a wide variety of existing models and their computational behaviour. Thus finite state machines, pushdown automata and Turing machines all provided different examples of X-machines obtained by varying some of the components of the X-machine's definition.

[1]  George Eleftherakis,et al.  Communicating X-Machines: From Theory to Practice , 2001, Panhellenic Conference on Informatics.

[2]  Mike Holcombe,et al.  Complete Functional Testing of Safety Critical Systems , 1995 .

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

[4]  Tudor Balanescu.  Generalised Stream X-Machines with Output Delimited Type , 2000, Formal Aspects of Computing.

[5]  Salim K. Vanak.  X-machines+L-systems=XL-systems , 2000, Proceedings Computer Graphics International 2000.

[6]  D. A. Linkens,et al.  Modelling of a soaking pit furnace in hybrid machines , 1995 .

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

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

[9]  A. J. Cowling,et al.  A Structured Way to Use Channels for Communication in X-Machine Systems , 2000, Formal Aspects of Computing.

[10]  Marian Gheorghe,et al.  A Subclass of Stream X machines with Underlying Distributed Grammars , 2000 .

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

[12]  M. Holcombe,et al.  Computational models of cellular information systems , 1994 .

[13]  Mike Holcombe,et al.  Using an X-Machine to Model a Video Cassette Recorder , 1995 .

[14]  Gilbert Thomas Laycock,et al.  The theory and practice of specification based software testing , 1993 .

[15]  Florentin Ipate,et al.  Another Look at Computability , 1996, Informatica.

[16]  Judith Barnard,et al.  COMX: a design methodology using communicating X-machines , 1998, Inf. Softw. Technol..

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

[18]  Marian Gheorghe,et al.  On Testing Generalized Stream X-Machines , 2000, Recent Topics in Mathematical and Computational Linguistics.

[19]  P. I. P. Boulton,et al.  A Machine Description Language , 1979, Comput. J..

[20]  Petros Kefalas,et al.  A DESIGN LANGUAGE AND TOOL FOR X-MACHINES SPECIFICATION , 2000 .

[21]  Florentin Ipate,et al.  Specification and Testing Using Generalised Machines: A Presentation and a Case Study , 1998, Softw. Test. Verification Reliab..

[22]  Mike Stannett,et al.  An Introduction to post-Newtonian and non- Turing computation , 2000 .

[23]  Mike Holcombe,et al.  COMPUTATIONAL MODELS OF CELLULAR PROCESSING , 1996 .

[24]  Florentin Ipate,et al.  A method for refining and testing generalised machine specifications , 1998, Int. J. Comput. Math..

[25]  M Holcombe,et al.  A logic for biological systems. , 2000, Bio Systems.

[26]  Marian Gheorghe.  Generalised Stream X-Machines and Cooperating Distributed Grammar Systems , 2000, Formal Aspects of Computing.

[27]  Harbhajan Singh,et al.  Automated Test Set Generation for Statecharts , 1998, FM-Trends.

[28]  Mike Holcombe.  An integrated methodology for the specification, verification and testing of systems , 1993, Softw. Test. Verification Reliab..