تگ: nondeterministic transition systems