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