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