Formalioji semantika (Pasirenkamasis)