On deterministic finite automata and syntactic monoid size

  • Authors:
  • Markus Holzer;Barbara König

  • Affiliations:
  • Institut für Informatik, Technische Universität München, München, Germany;Institut für Informatik, Technische Universität München, München, Germany

  • Venue:
  • DLT'02 Proceedings of the 6th international conference on Developments in language theory
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the relationship between regular languages and syntactic monoid size. In particular, we consider the transformation monoids of n-state (minimal) deterministic finite automata. We show tight upper bounds on the syntactic monoid size, proving that an n- state deterministic finite automaton with singleton input alphabet (input alphabet with at least three letters, respectively) induces a linear (nn, respectively) size syntactic monoid. In the case of two letter input alphabet, we can show a lower bound of nn - (ln) l!nk - (ln)kk ll, for some natural numbers k and l close to n/2, for the size of the syntactic monoid of a language accepted by an n-state deterministic finite automaton. This induces a family of deterministic finite automata such that the fraction of the size of the induced syntactic monoid and nn tends to 1 as n goes to infinity.