Cargando…

Limited Two-Way Deterministic Finite Automata with Advice

External assistance in the form of strings called advice is given to an automaton in order to make it a non-uniform model of computation. Automata with advice are then examined to better understand the limitations imposed by uniformity, which is a typical property shared by all feasible computationa...

Descripción completa

Detalles Bibliográficos
Autor principal: Uçan, Ahmet Bilal
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7206619/
http://dx.doi.org/10.1007/978-3-030-40608-0_15
_version_ 1783530444330893312
author Uçan, Ahmet Bilal
author_facet Uçan, Ahmet Bilal
author_sort Uçan, Ahmet Bilal
collection PubMed
description External assistance in the form of strings called advice is given to an automaton in order to make it a non-uniform model of computation. Automata with advice are then examined to better understand the limitations imposed by uniformity, which is a typical property shared by all feasible computational models. The main contribution of this paper is to introduce and investigate an extension of the model introduced by Küçük et al. [6]. The model is called circular deterministic finite automaton with advice tape (cdfat). In this model the input head is allowed to pass over input multiple times. The number of allowed passes over the input, which is typically a function of input length, is considered as a resource besides the advice amount. The results proved for the model include a hierarchy for cdfat with real-time heads, simulation of 1w/1w cdfat by 1w/rt cdfat, lower bounds of resources provided to a cdfat in order to make it powerful enough to recognize any language, utilizable advice limit regardless of the allowed pass limit, a relation between utilizable pass limit and advice limit, and some closure properties.
format Online
Article
Text
id pubmed-7206619
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72066192020-05-08 Limited Two-Way Deterministic Finite Automata with Advice Uçan, Ahmet Bilal Language and Automata Theory and Applications Article External assistance in the form of strings called advice is given to an automaton in order to make it a non-uniform model of computation. Automata with advice are then examined to better understand the limitations imposed by uniformity, which is a typical property shared by all feasible computational models. The main contribution of this paper is to introduce and investigate an extension of the model introduced by Küçük et al. [6]. The model is called circular deterministic finite automaton with advice tape (cdfat). In this model the input head is allowed to pass over input multiple times. The number of allowed passes over the input, which is typically a function of input length, is considered as a resource besides the advice amount. The results proved for the model include a hierarchy for cdfat with real-time heads, simulation of 1w/1w cdfat by 1w/rt cdfat, lower bounds of resources provided to a cdfat in order to make it powerful enough to recognize any language, utilizable advice limit regardless of the allowed pass limit, a relation between utilizable pass limit and advice limit, and some closure properties. 2020-01-07 /pmc/articles/PMC7206619/ http://dx.doi.org/10.1007/978-3-030-40608-0_15 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Uçan, Ahmet Bilal
Limited Two-Way Deterministic Finite Automata with Advice
title Limited Two-Way Deterministic Finite Automata with Advice
title_full Limited Two-Way Deterministic Finite Automata with Advice
title_fullStr Limited Two-Way Deterministic Finite Automata with Advice
title_full_unstemmed Limited Two-Way Deterministic Finite Automata with Advice
title_short Limited Two-Way Deterministic Finite Automata with Advice
title_sort limited two-way deterministic finite automata with advice
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7206619/
http://dx.doi.org/10.1007/978-3-030-40608-0_15
work_keys_str_mv AT ucanahmetbilal limitedtwowaydeterministicfiniteautomatawithadvice