semifree semidistributive semi-bounded semibounded semicomputable partial semimathematical non-strict semicontiguous sofic