"geometrick\u00FD automat"@cs .