| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-alex/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/alex-3.2.6/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/alex-3.2.5/src/ |
| H A D | DFA.hs | 93 scanner2dfa enc scanner scs = nfa2dfa scs (scanner2nfa enc scanner scs)
95 nfa2dfa:: [StartCode] -> NFA -> DFA SNum Code
96 nfa2dfa scs nfa = mk_int_dfa nfa (nfa2pdfa nfa pdfa (dfa_start_states pdfa)) function
|
| /dports/math/cantor/cantor-21.12.3/src/test/data/ |
| H A D | Automata and Computability using Jupyter.ipynb | 138 "help(nfa2dfa)\n",
394 "DO_Odd1s = dotObj_dfa(min_dfa(nfa2dfa(NFA_Odd1s)))\n",
653 "DO_Ex3z = dotObj_dfa(min_dfa(nfa2dfa(NFA_Ex3z)))\n",
709 "DofNFA_Ex3z = nfa2dfa(re2nfa(\"1* 0 1* 0 1* 0 1* + (0* 1 0* (1 0* 1 0*)*)\"))\n",
712 "minDofNFA_Ex3z = nfa2dfa(rev_dfa(nfa2dfa(rev_dfa(DofNFA_Ex3z))))"
1113 "dotObj_dfa(min_dfa_brz(nfa2dfa(re2nfa(\"(111+11111+1111111)*\"))))"
|
| /dports/audio/denemo/denemo-2.0.6/actions/ |
| H A D | silex.scm | 4090 (define nfa2dfa unknown
6597 (nfa2dfa nl-start no-nl-start arcs acc)))))
|