TIN nedeterministicke KA