Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. The minimal probabil ...
Article

The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints

Aleksejs Naumovs, Maksims Dimitrijevs, Abuzer Yakaryılmaz
Download article
Open on arXiv
Submitted on
May 13, 2019
Accepted on
April 5, 2020
Published on
April 30, 2020
Last modified on
March 31, 2025
Volume 22
vol. 22:1
Automata, Logic and Semantics
DOI
10.23638/DMTCS-22-1-13
License
Attribution 4.0 International (CC BY 4.0)
Indicators
1168
Views
615
Downloads

The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints

Aleksejs Naumovs, Maksims Dimitrijevs, Abuzer Yakaryılmaz
Abstract
It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized language with a cutpoint and then by using the fact that there are uncountably many cutpoints. In this note, we prove the same results for fixed cutpoints: each recognized language is associated with an automaton (i.e., algorithm), and the proofs use the fact that there are uncountably many automata. For each case, we present a new construction. Comment: 12 pages, minor revisions, changing the format to "dmtcs-episciences" style
Keywords
  • Computer Science - Formal Languages and Automata Theory
  • Computer Science - Computational Complexity
  • Quantum Physics
Mathematics Subject Classification 2020
  • 68Q45 - Formal languages and automata
  • 81P68 - Quantum computation
Preview
Loading PDF preview...