Lines Matching full:epsilon
947 fprintf(output, "epsilon "); break;
1059 fprintf(output, "epsilon "); break;
1140 fprintf(output, "epsilon to %d\n", trans->to);
1412 printf("epsilon transition\n");
1564 * Generate an epsilon transition to link to the target
1626 * directly because we need an epsilon transition to
1659 * epsilon transition.
1689 * we can discard the atom and generate an epsilon transition instead
1718 * So isolate with an epsilon transition.
1819 printf("Found epsilon trans %d from %d to %d\n",
1853 * Eliminating general epsilon transitions can get costly in the general
1855 * associated comparisons. However for simple epsilon transition used just
1858 * - if there exists an epsilon from X to Y
1887 printf("Found simple epsilon trans from start %d to %d\n",
1892 printf("Found simple epsilon trans from %d to %d\n",
1937 * Eliminate simple epsilon transition and the associated unreachable
1959 * there is long cascading epsilon chains this minimize the
1976 printf("Removed loopback epsilon trans %d on %d\n",
1983 printf("Found epsilon trans %d from %d to %d\n",
2002 * Eliminate the epsilon transitions
2747 * epsilon transitions like choices or all
3231 * still have epsilon like transition for counted transitions
3283 fprintf(stderr, "epsilon transition left at runtime\n");
3830 * still have epsilon like transition for counted transitions
3922 fprintf(stderr, "epsilon transition left at runtime\n");
4450 * still have epsilon like transition for counted transitions
4479 fprintf(stderr, "epsilon transition left at runtime\n");
5281 * this extra Epsilon transition is needed if we count with 0 allowed
5381 /* if not top start should have been generated by an epsilon trans */
5492 /* remove the Epsilon except for counted transitions */
6178 * and then adds an epsilon transition from the @from state to the
6203 * target state. That transition is an epsilon transition allowed only when
6252 * and then adds an epsilon transition from the @from state to the target state
6276 * and then adds an epsilon transition from the @from state to the target state
