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 条

[1] Continuous logic in problems of finite automata dynamics
V. I. Levin
Journal of Computer and Systems Sciences International, 2010, 49 : 59 - 64
[2] Continuous logic as iterative method in automata dynamics
Penza State Technological Academy, 1-a, Baidukov Str., Penza 440605, Russia
Int. J. Appl. Math. Stat., 2008, JO8 (69-76):
[3] Continuous Logic as Iterative Method in Automata Dynamics
Levin, V. I.
INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS & STATISTICS, 2008, 13 (J08): : 69 - 76
[4] On continuous weighted finite automata
Kari, Jarkko
Kazda, Alexandr
Steinby, Paula
LINEAR ALGEBRA AND ITS APPLICATIONS, 2012, 436 (07) : 1791 - 1824
[5] Continuous time paradigms in logic and automata
Trakhtenbrot, BA
FUNDAMENTA INFORMATICAE, 2004, 62 (01) : V - VII
[6] The complexity of translating logic to finite automata
Reinhardt, K
AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 231 - 238
[7] FINITE AUTOMATA AND THEIR DECISION PROBLEMS
RABIN, MO
SCOTT, D
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1959, 3 (02) : 114 - 125
[8] DYNAMIC (DEFAULT) LOGIC OBSERVERS FOR FINITE AUTOMATA
CAINES, PE
WANG, S
GREINER, R
PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 50 - 56
[9] Realizability of Parity Logic in Finite Cellular Automata
Lawrence, Celestine P.
COMPLEX SYSTEMS, 2024, 33 (01): : 125 - 132
[10] Approximation of continuous functions by finite automata
Cherepov, A. N.
DISCRETE MATHEMATICS AND APPLICATIONS, 2012, 22 (04): : 445 - 453

← 1 2 3 4 5 →