Continuous logic in problems of finite automata dynamics

DOI10.1134/S1064230710010077MaRDI QIDQ2391775zbMATH OpenOpenAlexFDO

Authors V. I. Levin

Publication date 5 August 2013

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064230710010077

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Recommendations

• Continuous logic as iterative method in automata dynamics
• Continuous logic and combinatorial problems decision
• Continuous logic. I: Basic concepts
• scientific article; zbMATH DE number 42160
• Methods of continuous logic in control

Cited in

(8)

• Continuous logic and algorithms for solution of some combinatorial problems
• Continuous logic as iterative method in automata dynamics
• Sufficient conditions of optimality of the automaton part of the logical-dynamical system
• On the Persistency of Gellular Automata
• Empirical logic of finite automata: Microstatements versus macrostatements
• Continuous first order logic and local stability
• Continuous logic and combinatorial problems decision
• Automata and logics over finitely varying functions

This page was built for publication: Continuous logic in problems of finite automata dynamics

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