State complexity and limited nondeterminism

  • Authors:
  • Alexandros Palioudakis;Kai Salomaa;Selim G. Akl

  • Affiliations:
  • School of Computing, Queen's University, Kingston, Ontario, Canada;School of Computing, Queen's University, Kingston, Ontario, Canada;School of Computing, Queen's University, Kingston, Ontario, Canada

  • Venue:
  • DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider nondeterministic finite automata having finite tree width (ftw-NFA) where the computation on any input string has a constant number of branches. We give effective characterizations of ftw-NFAs and a tight worst-case state size bound for determinizing an ftw-NFA A as a function of the tree width and the number of states of A. We introduce a lower bound technique for ftw-NFAs and consider the operational state complexity of this model.