Real-valued affine automata compute beyond Turing machines

12/22/2022
by   Abuzer Yakaryılmaz, et al.
0

We show that bounded-error affine finite automata recognize uncountably many (and so some non-Turing recognizable) languages when using real-valued transitions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/13/2018

Postselecting probabilistic finite state recognizers and verifiers

In this paper, we investigate the computational and verification power o...
research
04/22/2021

Affine automata verifiers

We initiate the study of the verification power of AfAs as part of Arthu...
research
03/30/2023

The group of reversible Turing machines: subgroups, generators and computability

We study an abstract group of reversible Turing machines. In our model, ...
research
03/03/2022

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

The Turing machine models an old-fashioned computer, that does not inter...
research
05/27/2020

From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata

The question whether P = NP revolves around the discrepancy between acti...
research
08/17/2013

Decision Theory with Resource-Bounded Agents

There have been two major lines of research aimed at capturing resource-...
research
02/02/2019

Itemsets for Real-valued Datasets

Pattern mining is one of the most well-studied subfields in exploratory ...

Please sign up or login with your details

Forgot password? Click here to reset