Nondeterministic State Complexity of Positional Addition

Consider nondeterministic finite automata recognizing base-k positional notation of numbers. Assume that numbers are read starting from their least significant digits. It is proved that if two sets of numbers S and T are represented by nondeterministic automata of m and n states, respectively, then...

Full description

Bibliographic Details
Main Authors: Galina Jirásková, Alexander Okhotin
Format: Article
Language:English
Published: Open Publishing Association 2009-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/0907.5072v1