Once-marking and always-marking 1-limited automata

Single-tape nondeterministic Turing machines that are allowed to replace the symbol in each tape cell only when it is scanned for the first time are also known as 1-limited automata. These devices characterize, exactly as finite automata, the class of regular languages. However, they can be extremel...

Full description

Saved in:
Bibliographic Details
Main Authors: Giovanni Pighizzini, Luca Prigioniero
Format: Default Conference proceeding
Published: 2023
Subjects:
Online Access:https://hdl.handle.net/2134/24894717.v1
Tags: Add Tag
No Tags, Be the first to tag this record!