Two-way affine automata can verify every language
Fields of Study & Subjects
semigroups and automata theory
Formal Methods in Verification
Machine Learning and Algorithms
Publication details
- Journal / source
- Natural Computing
- Volume
- 25
- Issue
- 2
- Publication date
- 16 September 2026
- Language
- EN