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...
Autor principal: | |
---|---|
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 |