A lower bound for probabilistic algorithms for finite state machines
Journal of Computer and System Sciences
Finite state verifiers I: the power of interaction
Journal of the ACM (JACM)
Probabilistic Two-Way Machines
Proceedings on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
We introduce a new type of internal memory for finite automata and real-time automata. Instead of using tapes with a prescribed Euclidean structure (one-dimensional or two-dimensional tapes) we allow arbitrary group structure of the internal memory of the automata.