Generalised Stream X-Machines with Output Delimited Type
Tudor Bălănescu · Formal Aspects of Computing · 2000
Abstract. Some conditions relating to the automata involved in the W-testing method are discussed. It is also shown how to use the method for reduced automata instead of minimal automata. New design test conditions ( weak output distinguishable , strong test-complete and output delimited type ) are considered for the generalised stream X-machines (stream X-machines with basic functions replaced by relations and having as output strings of symbols rather than single symbols). It is proved that testing methods similar to those already developed for ordinary deterministic stream X-machines may be applied for generalised stream X-machines with output delimited types. A particular case of generalised stream X-machine with output delimited type is the X-machine with output delimiter , which produces outputs having a distinct right end character.