Monoidal transducers minimization tags
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags
2023-11-30T13:14:28+01:00
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/csl2024-v2
csl2024-v2
Version presented at CSL 2024.
<p data-sourcepos="1:1-1:61" dir="auto"><a data-sourcepos="1:1-1:61" href="/aristote/monoidal-transducers-minimization/uploads/2a4b09d350866e7af9e1515cecd2aa2f/main.pdf" data-canonical-src="/uploads/2a4b09d350866e7af9e1515cecd2aa2f/main.pdf" data-link="true" class="gfm">Article</a></p>
<p data-sourcepos="3:1-3:10" dir="auto">changelog:</p>
<ul data-sourcepos="4:1-6:118" dir="auto">
<li data-sourcepos="4:1-4:26">stopped wrapping figures</li>
<li data-sourcepos="5:1-5:35">removed most proofs from appendix</li>
<li data-sourcepos="6:1-6:118">see <a data-sourcepos="6:7-6:118" href="https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/releases/hal-v2">hal-v2</a>
</li>
</ul>
2023-11-30T13:14:28+01:00
aristote
quentin.aristote@irif.fr
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/hal-v2
hal-v2
Extended version of CSL 2024 paper.
<p data-sourcepos="1:1-1:10" dir="auto">changelog:</p>
<ul data-sourcepos="2:1-3:14" dir="auto">
<li data-sourcepos="2:1-2:78">added lemma showing Vilar's algorithm followed by minimization is not enough</li>
<li data-sourcepos="3:1-3:14">proofreading</li>
</ul>
2023-11-30T11:19:40+01:00
aristote
quentin.aristote@irif.fr
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/csl2024-v1
csl2024-v1
Version for submission to CSL 2024.
<p data-sourcepos="1:1-1:62" dir="auto"><a data-sourcepos="1:1-1:61" href="/aristote/monoidal-transducers-minimization/uploads/06d4bc607d1d66e6db6bff673777b80b/main.pdf" data-canonical-src="/uploads/06d4bc607d1d66e6db6bff673777b80b/main.pdf" data-link="true" class="gfm">Article</a>.</p>
2023-11-30T11:18:06+01:00
aristote
quentin.aristote@irif.fr
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/hal-v1
hal-v1
Pre-print version destined to HAL.
<p data-sourcepos="1:1-1:10" dir="auto">changelog:</p>
<ul data-sourcepos="2:1-3:42" dir="auto">
<li data-sourcepos="2:1-2:27">comparison to gerdjikov18</li>
<li data-sourcepos="3:1-3:42">added categorical minimization algorithm</li>
</ul>
2023-11-30T11:16:28+01:00
aristote
quentin.aristote@irif.fr
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/v0.2
v0.2
changelog:
- compared results with eisner03
- moved proofs to appendix
- corrected typos, wording, etc.
<p data-sourcepos="1:1-1:209" dir="auto"><a data-sourcepos="1:1-1:67" href="/aristote/monoidal-transducers-minimization/uploads/6fb87e787dd3b430b30506d40641ea4b/main.pdf" data-canonical-src="/uploads/6fb87e787dd3b430b30506d40641ea4b/main.pdf" data-link="true" class="gfm">Article (pdf)</a>. <a data-sourcepos="1:70-1:208" href="/aristote/monoidal-transducers-minimization/uploads/e0478222b922f8d438e6606792a31434/monoidal-transducer-minimization.tar.gz" data-canonical-src="/uploads/e0478222b922f8d438e6606792a31434/monoidal-transducer-minimization.tar.gz" data-link="true" class="gfm">OCaml source code of the minimization library (tar.gz)</a>.</p>
<p data-sourcepos="3:1-3:10" dir="auto">changelog:</p>
<ul data-sourcepos="4:1-6:32" dir="auto">
<li data-sourcepos="4:1-4:32">compared results with eisner03</li>
<li data-sourcepos="5:1-5:26">moved proofs to appendix</li>
<li data-sourcepos="6:1-6:32">corrected typos, wording, etc.</li>
</ul>
2022-07-21T11:47:04+02:00
Quentin Aristote
quentin@aristote.fr
https://gitlab.math.univ-paris-diderot.fr/aristote/monoidal-transducers-minimization/-/tags/v0.1
v0.1
first draft
<p data-sourcepos="1:1-1:217" dir="auto"><a data-sourcepos="1:1-1:75" href="/aristote/monoidal-transducers-minimization/uploads/d46c97ee3cbc95434bf36e359f35f7f5/main.pdf" data-canonical-src="/uploads/d46c97ee3cbc95434bf36e359f35f7f5/main.pdf" data-link="true" class="gfm">Article (with proofs)</a>. <a data-sourcepos="1:78-1:216" href="/aristote/monoidal-transducers-minimization/uploads/e0478222b922f8d438e6606792a31434/monoidal-transducer-minimization.tar.gz" data-canonical-src="/uploads/e0478222b922f8d438e6606792a31434/monoidal-transducer-minimization.tar.gz" data-link="true" class="gfm">OCaml source code of the minimization library (tar.gz)</a>.</p>
2022-07-21T11:40:59+02:00
Quentin Aristote
quentin@aristote.fr