"k\u0159ivkov\u00FD automat"@cs .