semideterministic

not defined yet