Diplomky

Převodníky v automatové knihovně Mata
David Chocholatý

Převodníky v automatové knihovně Mata

Tématem mé práce byl návrh a implementace konečných převodníků do automatové knihovny Mata. Konečné převodníky jsou automatové modely, které lze využít pro modelování operací jako nahrazení jedné...