Kaj je ujemanje sheme?

V računalništvu je usklajevanje shem primerjava dveh objektov na podlagi njihove semantike. Če se lahko dva elementa (kot sta matematična enačba ali odrezek kode) shematsko ujemata, se šteje, da ju je mogoče mapirati . To pomeni, da lahko naredite neposredno primerjavo med vsako od njihovih skladenjskih komponent.

Računalništvo, programski izrazi, shema