A jumping \(5'\rightarrow 3'\) Watson–Crick finite automata model

IF 0.4 4区计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS

Acta Informatica Pub Date : 2022-01-24 DOI:10.1007/s00236-021-00413-x

Radim Kocman, Zbyněk Křivka, Alexander Meduna, Benedek Nagy

引用次数: 1

Abstract

Jumping finite automata and sensing \(5'\rightarrow 3'\) Watson–Crick finite automata are finite-state models of computation which allow to process the input word not only in the strictly left-to-right manner. In this paper a new combined model of them is presented. The accepting power of the new model is studied and compared with the original models and also other well-known language families. Furthermore, the paper investigates changes in the accepting power when commonly studied restrictions from Watson–Crick finite automata, e.g., all states are final, are applied to this combined model. In the end, the paper presents a comprehensive hierarchy of all related language families.

Abstract Image

查看原文本刊更多论文

跳跃\(5'\rightarrow 3'\)沃森-克里克有限自动机模型

跳跃有限自动机和感知\（5'\rightarrow3'\）Watson–Crick有限自动机是计算的有限状态模型，它不仅允许以严格的从左到右的方式处理输入字。本文提出了一种新的组合模型。研究了新模型的接受能力，并将其与原始模型以及其他知名语系进行了比较。此外，当Watson–Crick有限自动机的常见研究限制（例如，所有状态都是最终状态）应用于该组合模型时，本文研究了接受能力的变化。最后，本文给出了所有相关语系的综合层次结构。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Acta Informatica 工程技术-计算机：信息系统

CiteScore

2.40

自引率

16.70%

发文量

审稿时长

>12 weeks

期刊介绍： Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics. Topics of interest include: • semantics of programming languages • models and modeling languages for concurrent, distributed, reactive and mobile systems • models and modeling languages for timed, hybrid and probabilistic systems • specification, program analysis and verification • model checking and theorem proving • modal, temporal, first- and higher-order logics, and their variants • constraint logic, SAT/SMT-solving techniques • theoretical aspects of databases, semi-structured data and finite model theory • theoretical aspects of artificial intelligence, knowledge representation, description logic • automata theory, formal languages, term and graph rewriting • game-based models, synthesis • type theory, typed calculi • algebraic, coalgebraic and categorical methods • formal aspects of performance, dependability and reliability analysis • foundations of information and network security • parallel, distributed and randomized algorithms • design and analysis of algorithms • foundations of network and communication protocols.