TIN: nedeterministicky KA