6533b824fe1ef96bd12813de

RESEARCH PRODUCT

Real-Time Vector Automata

A. C. Cem SayÖZlem SalehiAbuzer Yakaryilmaz

subject

Nondeterministic algorithmDiscrete mathematicsMatrix (mathematics)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFinite-state machineDimension (vector space)Computer scienceMultiplicationNonlinear Sciences::Cellular Automata and Lattice GasesComputer Science::Formal Languages and Automata TheoryAutomatonPower (physics)

description

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k×k matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.

yearjournalcountryeditionlanguage
2013-01-01
https://doi.org/10.1007/978-3-642-40164-0_28