Created: 2009-03-06 - 19:23
Strana 1 Strana 2 Strana 3 Obsah: algoritmus na zistenie dosiahnuteľných stavov, k-ekvivaletný vzťah