Finite-state automata in information technologies
type: Item
instance of: scholarly article
title: Finite-state automata in information technologies
zbMATH Open document ID: 1358.68216
author: S. L. Kryvyi
published in: Cybernetics and Systems Analysis
publication date: 2014-10-30T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6362595
zbMATH Keywords: finite-state automaton
zbMATH Keywords: Büchi automaton
zbMATH Keywords: Muller automaton
zbMATH Keywords: verification
MaRDI profile type: Publication
full work available at URL: s10559-011-9347-x
OpenAlex ID: W2050696740
cites work: Q3287249
cites work: Q5541343
cites work: A theory of timed automata
cites work: THE ABSTRACT THEORY OF AUTOMATA
cites work: Automata Theory with Modern Applications
cites work: Q3214824
cites work: Q4385530
cites work: General varieties of tree languages
cites work: Q3753494
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Q3802618
cites work: What's decidable about hybrid automata?
cites work: An algorithm to construct the basis of the intersection of finitely generated free groups
cites work: An efficient algorithm for constructing the basis of a subgroup of a free group
cites work: Efficient solution of linear diophantine equations
cites work: A polynomial algorithm for solving systems of two linear diophantine equations
cites work: Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors
cites work: Q4205087
cites work: Splicing semigroups of dominoes and DNA
cites work: Splicing systems and regularity
cites work: Q2724155
DOI: 10.1007/S10559-011-9347-X
Recommended article: Q4662823
Recommended article: Q3623564
Recommended article: Finite Automata
Recommended article: Q5418245
Recommended article: Finite automata
Recommended article: Finite-State Techniques
Recommended article: Teoria degli Automi Finiti
Recommended article: THEORY OF FINITE AUTOMATA
Recommended article: Q5851153
Recommended article: Finite-memory automata
description: scientific article; zbMATH DE number 6362595