Odpovídáte na názor ke článku Unifikace, AC-unifikace, E-unifikace....
> 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ů.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 39 790×
Přečteno 27 562×
Přečteno 26 603×
Přečteno 22 769×
Přečteno 20 478×
ČLÁNKY DO MAILU