script for generating automata-like tests