New tools for state complexity

A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of automata into one automaton. We revisit some language transformation algorithms in terms of modifier and monster. These n...

Full description

Bibliographic Details
Main Authors: Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2020-03-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:https://dmtcs.episciences.org/4835/pdf