We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a polynomial-time algorithm for recognizing this class of automata.
Original languageEnglish
Title of host publicationLATIN 2022: Theoretical Informatics
Subtitle of host publicationBook Series
PublisherSpringer
Pages345-358
Volume13568 LNCS
ISBN (Print)978-3-031-20623-8
DOIs
Publication statusPublished - 29 Oct 2022

Publication series

NameLATIN 2022: Theoretical Informatics
Volume13568
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

    ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

ID: 33228862