Commits · master · Quentin Aristote / Monoidal transducers minimization

21 Jul, 2022 6 commits
- remove empty appendix · 42c883cf
  Quentin Aristote authored Jul 21, 2022
  
  42c883cf
- typos, wording · eceb9015
  Quentin Aristote authored Jul 21, 2022
  
  eceb9015
- conlcusion: proofread · cdb45759
  Quentin Aristote authored Jul 21, 2022
  
  cdb45759
- algorithms: proofread · 7a07f1ee
  Quentin Aristote authored Jul 21, 2022
  
  7a07f1ee
- category of monoidal transducers: finish proofreading · 97abcbba
  Quentin Aristote authored Jul 21, 2022
  
  97abcbba
- category of monoidal transducers: finish proofreading · 649b203f
  Quentin Aristote authored Jul 21, 2022
  
  649b203f
20 Jul, 2022 12 commits
- category monoidal transducers: start proofreading · bde2aae2
  Quentin Aristote authored Jul 20, 2022
  
  bde2aae2
- preliminaries: categorical framework: proofread · 811a3b65
  Quentin Aristote authored Jul 20, 2022
  
  811a3b65
- preliminaries: categorical framework: proofread · 9799673c
  Quentin Aristote authored Jul 20, 2022
  
  9799673c
- start all references with capital letters · 90b02c7d
  Quentin Aristote authored Jul 20, 2022
  
  90b02c7d
- remove useless whitespace · 12631400
  Quentin Aristote authored Jul 20, 2022
  
  12631400
- rename conclusion · a376fd26
  Quentin Aristote authored Jul 20, 2022
  
  a376fd26
- remove useless newlines · 9965a797
  Quentin Aristote authored Jul 20, 2022
  
  9965a797
- floats: change [h] to [ht] · fb61fa28
  Quentin Aristote authored Jul 20, 2022
  
  fb61fa28
- preliminaries: monoids: proofread · 69173ec1
  Quentin Aristote authored Jul 20, 2022
  
  69173ec1
- introduction: proofread · ea82ef1a
  Quentin Aristote authored Jul 20, 2022
  
  ea82ef1a
- correct conchon07 citation · 49ae41dc
  Quentin Aristote authored Jul 20, 2022
  
  49ae41dc
- move proofs to appendix · 235211b2
  Quentin Aristote authored Jul 20, 2022
  
  235211b2
19 Jul, 2022 3 commits
- typo · 5b79aee3
  Quentin Aristote authored Jul 19, 2022
  
  5b79aee3
- typo · 91206dac
  Quentin Aristote authored Jul 19, 2022
  
  91206dac
- figures: make arrows thick · 87842ab7
  Quentin Aristote authored Jul 19, 2022
  
  87842ab7
30 May, 2022 1 commit
- comparison with eisner03 · 9960f8cc
  Quentin Aristote authored May 30, 2022
  
  9960f8cc
26 May, 2022 1 commit
- abstract and conclusion · 406d0788
  Quentin Aristote authored May 26, 2022
  
  406d0788
25 May, 2022 4 commits
- introduction · dd2f093f
  Quentin Aristote authored May 25, 2022
  
  dd2f093f
- code: monoid: add right-cancellativity condition · f4efc119
  Quentin Aristote authored May 25, 2022
  
  f4efc119
- add code artifact · 4aabc598
  Quentin Aristote authored May 25, 2022
  
  4aabc598
- algorithms: minimization: proof of algorithm for obs · 5c83180c
  Quentin Aristote authored May 25, 2022
  
  5c83180c
24 May, 2022 2 commits
- algorithms: minimization: obs · 4f9fe1f4
  Quentin Aristote authored May 24, 2022
  
  4f9fe1f4
- algorithms: minimization: obs · 203ccd51
  Quentin Aristote authored May 24, 2022
  
  203ccd51
23 May, 2022 1 commit
- algorithms: minimization: intro and prefix · e90a269d
  Quentin Aristote authored May 23, 2022
  
  e90a269d
19 May, 2022 1 commit
- algorithms: intro, learning · 5a6c172d
  Quentin Aristote authored May 19, 2022
  
  5a6c172d
16 May, 2022 1 commit
- category monoidal transducers: factorization systems · ce3559d5
  Quentin Aristote authored May 16, 2022
  
  ce3559d5
13 May, 2022 2 commits
- category of monoidal transducers: final object: main theorem · a3718780
  Quentin Aristote authored May 13, 2022
  
  a3718780
- category of monoidal transducers: final object: existence of powers in Kl(T) · 88217447
  Quentin Aristote authored May 13, 2022
  
  88217447
12 May, 2022 2 commits
- category of monoidal transducers: definition and initial object · 0f996fde
  Quentin Aristote authored May 12, 2022
  
  0f996fde
- add directory for tikz figures · 23a481e3
  Quentin Aristote authored May 12, 2022
  
  23a481e3
11 May, 2022 2 commits
- preliminaries: categorical approach: learning · 58db67e6
  Quentin Aristote authored May 11, 2022
  
  58db67e6
- categorical approach to automata: minimization · d5988948
  Quentin Aristote authored May 11, 2022
  
  d5988948
10 May, 2022 2 commits
- monoids, languages and automata as functors · a24b00d9
  Quentin Aristote authored May 10, 2022
  
  a24b00d9
- packages, commands and bibliography · db697d26
  Quentin Aristote authored May 10, 2022
  
  db697d26