Procházet automaty podle vlastnosti