Before revision: "Reactivity" highlights the fact that the synthesized machine interacts with the user and thus never terminates.
After revision: , reading the input and producing the output,"Reactivity" highlights the fact that the synthesized machine interacts with the user and thus never terminates.