blob: d478a1b40014d9e8726ae3dc82cf85e87606c1f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
---
references:
- id: aristoteFunctorialApproachMinimizing2023
abstract: >-
We study monoidal transducers, transition systems arising as deterministic
automata whose transitions also produce outputs in an arbitrary monoid, for
instance allowing outputs to commute or to cancel out. We use the
categorical framework for minimization and learning of Colcombet, Petrişan
and Stabile to recover the notion of minimal transducer recognizing a
language, and give necessary and sufficient conditions on the output monoid
for this minimal transducer to exist and be unique (up to isomorphism). The
categorical framework then provides an abstract algorithm for learning it
using membership and equivalence queries, and we discuss practical aspects
of this algorithm's implementation. We also extend the framework with a
categorical algorithm for minimizing transition systems, whose instantiation
retrieves the algorithm for minimizing monoidal transducers but also extends
the class of output monoids for which this algorithm is valid.
accessed:
- year: 2023
month: 7
day: 27
author:
- family: Aristote
given: Quentin
citation-key: aristoteFunctorialApproachMinimizing2023
issued:
- year: 2023
month: 7
day: 27
language: en
number: '04172251'
publisher: HAL
title: >-
Functorial approach to minimizing and learning deterministic transducers
with outputs in arbitrary monoids
type: article
URL: https://hal.science/hal-04172251
- id: aristoteMonotoneWeakDistributive2024
abstract: >-
Noticing the similarity between the monotone weak distributive laws
combining two layers of nondeterminisms in sets and in compact Hausdorff
spaces, we study whether the latter law can be obtained automatically as a
weak lifting of the former. This holds partially, but does not generalize to
other categories of algebras: we then characterize when exactly monotone
weak distributive laws over powerset monads in categories of algebras exist,
exhibiting a law combining probabilities and non-determinism in compact
Hausdorff spaces and showing on the other hand that such laws do not exist
in a lot of other cases.
accessed:
- year: 2024
month: 11
day: 4
author:
- family: Aristote
given: Quentin
citation-key: aristoteMonotoneWeakDistributive2024
issued:
- year: 2024
month: 10
language: en
title: >-
Monotone weak distributive laws over the lifted powerset monad in categories
of algebras
type: article
URL: https://hal.science/hal-04712728v5
- id: aristoteSmtlibbackendsFasterSMTLIBbased2023
abstract: >-
Announcement of smtlib-backends, a Haskell library providing a generic
interface for interacting with SMT solvers using SMT-LIB.
author:
- family: Aristote
given: Quentin
citation-key: aristoteSmtlibbackendsFasterSMTLIBbased2023
container-title: Tweag Blog
issued:
- year: 2023
month: 2
day: 14
language: en
title: 'smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solvers'
title-short: smtlib-backends
type: post-weblog
URL: https://www.tweag.io/blog/2023-02-14-smtlib-backends
...
|
