Multitape automata and finite state transducers with lexicographic weights

Finite state transducers, multitape automata and weighted automata have a lot in common. By studying their universal foundations, one can discover some new insights into all of them. The main result presented here is the introduction of lexicographic finite state transducers, that could be seen as intermediate model between multitape automata and weighted transducers. Their most significant advantage is being equivalent, but often exponentially smaller than even smallest nondeterministic automata without weights. Lexicographic transducers were discovered by taking inspiration from Eilenberg's algebraic approach to automata and Solomonoff's treatment of a priori probability. Therefore, a quick and concise survey of those topics is presented, prior to introducing lexicographic transducers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/17/2021

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings

In this paper, we give a Nivat-like characterization for weighted altern...
research
03/28/2018

Unreasonable Effectivness of Deep Learning

We show how well known rules of back propagation arise from a weighted c...
research
05/26/2022

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

We consider linear cost-register automata (equivalent to weighted automa...
research
11/21/2016

Interpreting Finite Automata for Sequential Data

Automaton models are often seen as interpretable models. Interpretabilit...
research
03/26/2021

On the Theory of Stochastic Automata

The theory of discrete stochastic systems has been initiated by the work...
research
06/07/2022

Timed automata as a formalism for expressing security: A survey on theory and practice

Timed automata are a common formalism for the verification of concurrent...
research
06/03/2019

Separation and Renaming in Nominal Sets

Nominal sets provide a foundation for reasoning about names. They are us...

Please sign up or login with your details

Forgot password? Click here to reset