An improved context-free recognizer. ACM Transactions on Programming Languages and Systems, 2(3):415–462. A further version of this criterion is to check the magnitude of the largest ofE’s eigenvalues (its spectral radius). If that value is >1, the gramma (1980)

by Ruzzo