Finite-state automata in information technologies

DOI10.1007/S10559-011-9347-XzbMATH Open1358.68216OpenAlexW2050696740MaRDI QIDQ464949FDOQ464949

Authors: S. L. Kryvyi 

Publication date: 30 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-011-9347-x

Recommendations

• scientific article; zbMATH DE number 2150274
• Finite automata
• Finite automata
• scientific article; zbMATH DE number 6300094
• Finite automata
• Finite-state techniques. Automata, transducers and bimachines
• Theory of finite automata
• THEORY OF FINITE AUTOMATA
• Finite automata in the mathematical theory of programming
• Finite-memory automata

zbMATH Keywords

verification[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=B%EF%BF%BD%EF%BF%BDchi+automaton&go=Go B��chi automaton]finite-state automatonMuller automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A theory of timed automata
• THE ABSTRACT THEORY OF AUTOMATA
• Title not available (Why is that?)
• What's decidable about hybrid automata?
• Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors
• Formal Modeling and Analysis of Timed Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Splicing semigroups of dominoes and DNA
• Splicing systems and regularity
• Efficient solution of linear diophantine equations
• General varieties of tree languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algorithm to construct the basis of the intersection of finitely generated free groups
• Title not available (Why is that?)
• An efficient algorithm for constructing the basis of a subgroup of a free group
• Automata Theory with Modern Applications
• Title not available (Why is that?)
• A polynomial algorithm for solving systems of two linear diophantine equations

Cited In (8)

• Finite automata and morphisms in assisted musical composition*
• The finite automata approaches in stringology
• A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
• Minimal state automata for detecting a \(\beta\) globin gene mutation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite state automata in compilers
• Grammars of organic chemistry

This page was built for publication: Finite-state automata in information technologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464949)