test
Barvící a pokrývací automaty