Aβ*. One of the p+2 machine can recognize αβ* and this machine gets input in every cycle. And, it communicates at any time i to the master controller whether or not w(0,i) ∈ αβ*. The rest of p+1 machines are copies of Aβ*. The master can set the Aβ* machines dormant or active. If master sets a Aβ* machine to be dormant then it remains in its initial state and oblivious to the input. If master activates a Aβ* machine then it reads the input and moves, until master makes it dormant and force it back to the initial state. Master can make a Aβ* machine active and dormant as many times as it wants. The master stores the following information about the Aβ* machines at each time instant. Current states of Aβ* machines. List of the active Aβ* machines in the order of their activation time. For each active Aβ* machine M, the set of other active Aβ* machines that were in an accepting state at the time of activation of M. In other words, if a machine is made active at time i and some other machine was last made active at j < i and continue to be active till i then the master keeps the record whether or not i favors j. This record is dropped if the other machine goes dormant before M. Initially, the master may behave 2 different ways depending on α. If α contains empty word then only one of the Aβ* is active otherwise none of the Aβ* machines are active at the start. Later at some time i, if w(0,i) ∈ αβ* and none of Aβ* machines are in initial state then master activates one of the dormant machines and the just activated Aβ* machine start receiving input from time i+1. At some time, if two Aβ* machines reach to the same state then master makes the machine dormant that was activated later than the other. Note that the master can make the above decisions using the information it stores. For the output, the master also have a pair of red and green lights corresponding to each Aβ* machine. If a Aβ* machine goes from active state to dormant state then corresponding red light flashes. The green light for some Aβ* machine M, which was activated at j, flashes at time i in the following two situations: M is in