Lines Matching refs:CFL
1017 /// DFA (representing the covering regular approximation to the underlying CFL).