В семантике языка программирования как построить оператор, чтобы показать, что S1;S2 и S2;S3 семантически не равны?
#semantics Вопрос: Вот упражнение из книги, которую я сейчас читаю: Докажите, что два утверждения S1;(S2;S3) и (S1;S2);S3 семантически эквивалентны. Постройте утверждение, показывающее, что S1;S2, в общем случае, семантически не эквивалентно…