Continuous logic in problems of finite automata dynamics

被引：0

作者：

Levin, V. I. ^{[1
]}

机构：

[1] Pensa State Technol Acad, Penza 440605, Russia

来源：

JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL | 2010年 / 49卷 / 01期

关键词：

System Science International; Symbolic Representation; Finite Automaton; Input Action; Finite State Automaton;

D O I：

10.1134/S1064230710010077

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A technique for ordering, classification, and unification of fuzzy (continuous) logic formulas describing dynamical processes in finite automata is proposed. On the example of the class of automata without memory and with simplest input action, it is shown that the technique makes it possible to significantly (in several times) reduce the number of necessary formulas.

引用

页码：59 / 64

页数：6

共 50 条

[31] On Relation Between Linear Temporal Logic and Quantum Finite Automata
Bhatia, Amandeep Singh
Kumar, Ajay
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (02) : 109 - 120
[32] On Relation Between Linear Temporal Logic and Quantum Finite Automata
Amandeep Singh Bhatia
Ajay Kumar
Journal of Logic, Language and Information, 2020, 29 : 109 - 120
[33] Translating a continuous-time temporal logic into timed automata
Li, GY
Tang, ZS
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 322 - 338
[34] Continuous logic and combinatorial problems decision
Levin, V. I.
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2008, 47 (03) : 413 - 421
[35] IMPOSSIBILITY OF FINITE AXIOMATIZATION OF THE LOGIC OF MEDVEDEV FINITE PROBLEMS
MAXIMOVA, LL
SKVORTSOV, DP
SHEKHTMAN, VB
DOKLADY AKADEMII NAUK SSSR, 1979, 245 (05): : 1051 - 1054
[36] CLASSICAL AND LOGIC-BASED DYNAMIC OBSERVERS FOR FINITE AUTOMATA
CAINES, PE
GREINER, R
WANG, SN
IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 1991, 8 (01) : 45 - 80
[37] Finite automata based on quantum logic and monadic second-order quantum logic
LI YongMing College of Computer Science
Science China(Information Sciences), 2010, 53 (01) : 101 - 114
[38] Continuous logic and combinatorial problems decision
V. I. Levin
Journal of Computer and Systems Sciences International, 2008, 47 : 413 - 421
[39] Finite automata based on quantum logic and monadic second-order quantum logic
YongMing Li
Science in China Series F: Information Sciences, 2010, 53 : 101 - 114
[40] Finite automata based on quantum logic and monadic second-order quantum logic
Li YongMing
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (01) : 101 - 114

← 1 2 3 4 5 →