Hlavní navigace

Názor ke článku Unifikace, AC-unifikace, E-unifikace... od Radek Miček - > Je snadné nahlédnout, že z algebraického pohledu...

  • 9. 8. 2013 15:12

    Radek Miček (neregistrovaný)

    > Je snadné nahlédnout, že z algebraického pohledu unifikátory dvou termů tvoří polosvaz a tedy komutativní idempotentní pologrupu.

    Jak budou unifikátory uspořádány? Logické by bylo vzít uspořádání podle obecnosti, jenže to není částečné uspořádání, ale pouze předuspořádání. Pochopil bych polosvaz nad třídami ekvivalence unifikátorů.