Różnica między semantyką operacyjną małego i dużego kroku
Jaka jest podstawowa różnica między semantyką operacyjną małego i dużego kroku? Trudno mi zrozumieć, co to jest i motywację do posiadania tych