Pith. sign in

REVIEW

Characterisation of (Sub)sequential Rational Functions over a General Class Monoids

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1801.10063 v1 pith:UAQGQ6Q5 submitted 2018-01-28 cs.FL cs.CLcs.LO

Characterisation of (Sub)sequential Rational Functions over a General Class Monoids

classification cs.FL cs.CLcs.LO
keywords monoidsclassgeneralrationalrelationsequentialtermsalgebraic
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In this technical report we describe a general class of monoids for which (sub)sequential rational can be characterised in terms of a congruence relation in the flavour of Myhill-Nerode relation. The class of monoids that we consider can be described in terms of natural algebraic axioms, contains the free monoids, groups, the tropical monoid, and is closed under Cartesian.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.