Name
Abstract | ||
|---|---|---|
We present several new results and connections between various extensions of finite automata through the study of vector automata and homing vector automata. We show that homing vector automata outperform extended finite automata when both are defined over 2 x 2 integer matrices. We study the string separation problem for vector automata and demonstrate that generalized finite automata with rational entries can separate any pair of strings using only two states. Investigating stateless homing vector automata, we prove that a language is recognized by stateless blind deterministic realtime version of finite automata with multiplication iff it is commutative and its Parikh image is the set of nonnegative integer solutions to a system of linear homogeneous Diophantine equations. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1142/S0129054119500291 | INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Keywords | Field | DocType |
Homing vector automata, group automata, finite automata | Homing (biology),Discrete mathematics,Algebra,Automaton,Mathematics | Journal |
Volume | Issue | ISSN |
30 | 8 | 0129-0541 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Özlem Salehi | 1 | 0 | 0.34 |
| Abuzer Yakaryilmaz | 2 | 168 | 25.31 |
| A. C. Cem Say | 3 | 193 | 26.13 |