Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2022-01-03 | Shinji KONO | ... |
2022-01-03 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | clean up |
2022-01-02 | Shinji KONO | tra-phase1 done |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-02 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | tra-04 |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2022-01-01 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-31 | Shinji KONO | ... |
2021-12-30 | Shinji KONO | ... |
2021-12-29 | Shinji KONO | ... |
2021-12-29 | Shinji KONO | fin side done |
2021-12-29 | Shinji KONO | fless |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-28 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | fix decrement case |
2021-12-27 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | remove ls<n |
2021-12-27 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | ... |
2021-12-27 | Shinji KONO | fix gcd and root |
2021-12-27 | Shinji KONO | ... |
2021-12-26 | Shinji KONO | ... |
2021-12-26 | Shinji KONO | dup in finiteSet in long list |
2021-12-25 | Shinji KONO | non-regular |
2021-12-19 | Shinji KONO | ... |
2021-12-18 | Shinji KONO | ... |
2021-12-18 | Shinji KONO | fixes |
2021-11-27 | Shinji KONO | depth first trace in nfa |
2021-11-26 | Shinji KONO | ... |
2021-11-26 | Shinji KONO | regex cmp |
2021-11-26 | Shinji KONO | derive worked but finiteness is difficult |
2021-11-26 | Shinji KONO | ... |
2021-11-25 | Shinji KONO | fix concat dfa |
2021-11-24 | Shinji KONO | ... |
2021-11-17 | Shinji KONO | ... |
2021-07-07 | Shinji KONO | ... |
2021-07-07 | Shinji KONO | ... |
2021-07-06 | Shinji KONO | ... |
2021-07-06 | Shinji KONO | LBℕ : Bijection ℕ ( List Bool ) done |
2021-07-06 | Shinji KONO | ... |
2021-07-05 | Shinji KONO | lb< |
2021-07-05 | Shinji KONO | ... |
2021-07-05 | Shinji KONO | ... |