Iterative arrays with a wee bit alternation
Author(s) -
Thomas Buchholz,
Andreas Klein,
Martin Kutrib
Publication year - 1999
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-66412-2
DOI - 10.1007/3-540-48321-7_13
Subject(s) - nondeterministic algorithm , alternation (linguistics) , computer science , symbol (formal) , complement (music) , automaton , computation , theoretical computer science , algorithm , bit (key) , cellular automaton , discrete mathematics , arithmetic , mathematics , programming language , linguistics , philosophy , biochemistry , chemistry , complementation , phenotype , gene , computer security
An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fetches the input serially symbol by symbol. We are investigating iterative arrays with an alternating communication cell. All the other automata are deterministic. The number of alternating state transitions is regarded as a limited resource which depends on the length of the input. We center our attention to real-time computations and compare alternating IAs with nondeterministic IAs. By proving that the language families of the latter are not closed under complement for sublogarithmic limits it is shown that alternation is strictly more powerful than nondeterminism. Moreover, for these limits there exist infinite hierarchies of properly included alternating language families. It is shown that these families are closed under boolean operations.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom