\chapter{Úvod}
Program Espresso je heuristick\'{y} n\'{a}stroj pro dvou\'{u}rovňovou
minimalizaci logick\'{y}ch funkc\'{\i}. Jeho autorem je Richard Rudell
působ\'{\i}c\'{\i} na University of California Berkeley v~Kalifornii. Tento
n\'{a}stroj je \v{s}iroce pou\v{z}\'{\i}v\'{a}n - v\'{y}jimkou nen\'{\i} ani
Katedra poč\'{\i}tačů Fakulty elektrotechnick\'{e} ČVUT v Praze.

Hlavn\'{\i} př\'{\i}nos Espressa spoč\'{\i}v\'{a} v~pou\v{z}it\'{\i}
,,nov\'{y}ch`` \footnote{upravovan\'{a} verze programu byla z~roku 1988-1989} algoritmů, kter\'{e} zrychluj\'{\i} a obecně
optimalizuj\'{\i} heuristickou minimalizaci.

Dal\v{s}\'{\i} v\'{y}hodou je, \v{z}e form\'{a}t vstupn\'{\i}ch a
v\'{y}stupn\'{\i}ch souborů je kompatibiln\'{\i} se standardn\'{\i}m
form\'{a}tem pro fyzick\'{y} popis PLA \footnote{PLA=Programmable logic array}.

Espresso m\'{a} nicm\'{e}ně i sv\'{e} nev\'{y}hody. Mezi největ\v{s}\'{\i}
patř\'{\i} pou\v{z}it\'{\i} př\'{\i}kazov\'{e} ř\'{a}dky (kter\'{e} je podle
současn\'{y}ch standardů pova\v{z}ov\'{a}no za u\v{z}ivatelsky
nepř\'{a}telsk\'{e}) a d\'{a}le nemo\v{z}nost pou\v{z}\'{\i}t Espresso jako
modul, kter\'{y} by byl vyu\v{z}\'{\i}v\'{a}n nějak\'{y}m
komplexněj\v{s}\'{\i}m programem.

Pro jeho pokrokov\'{e} metody se Espresso vyplat\'{\i} modernizovat,
roz\v{s}\'{\i}řit tak jeho pole působnosti a prodlou\v{z}it t\'{\i}m dobu
pou\v{z}\'{\i}v\'{a}n\'{\i}.

T\'{e}to \'{u}pravě nestoj\'{\i} v~cestě ani licence, podle kter\'{e} se
Espresso mů\v{z}e volně \v{s}\'{\i}řit a upravovat pod podm\'{\i}nkou
zachov\'{a}n\'{\i} copyrightu \footnote{\uv{Copyright \copyright 1988, 1989, Regents of the University of California. All rights reserved.}}.



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
