N-structures applied to finite state machines

被引：0
|
作者：
Kavikumar, J. [1 ]
Khamis, Azme [1 ]
Rusiman, Mohd Saifullah [1 ]
机构：
[1] Department of Mathematics and Statistics, Faculty of Science, Technology and Human Development, Universiti Tun Hussein Onn Malaysia, 84600 Batu Pahat, Johor, Malaysia
来源：
IAENG International Journal of Applied Mathematics | 2013年 / 43卷 / 04期
关键词：
18;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：233 / 237
相关论文
共 50 条
  • [31] Finite state machines
    Jonsson, B
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 611 - 614
  • [32] THE TEMPORAL BOOLEAN DERIVATIVE APPLIED TO VERIFICATION OF EXTENDED FINITE-STATE MACHINES
    VANDERMEULEN, E
    DONEGAN, HA
    LARNAC, M
    MAGNIER, J
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 30 (02) : 27 - 36
  • [33] p-ideals of BCI-algebras based on neutrosophic N-structures
    Muhiuddin, G.
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2021, 40 (01) : 1097 - 1105
  • [34] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [35] Finite Virtual State Machines
    Senhadji-Navarro, Raouf
    Garcia-Vargas, Ignacio
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (10): : 2544 - 2547
  • [36] FINITE STATE MACHINES FOR XMODEM
    SMITH, DW
    DR DOBBS JOURNAL, 1989, 14 (10): : 45 - &
  • [37] Coupled N-structures and its application in BCK/BCI-algebras
    Jun, Young Bae
    Ahn, Sun Shin
    Williams, D. R. Prince
    IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION A-SCIENCE, 2013, 37 (A2): : 133 - 140
  • [38] Implicative N-ideals of BCK-algebras based on neutrosophic N-structures
    Muhiuddin, G.
    Kim, Seon Jeong
    Jun, Young Bae
    DISCRETE MATHEMATICS ALGORITHMS AND APPLICATIONS, 2019, 11 (01)
  • [39] Learning Finite State Machines
    de la Higuera, Colin
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2010, 6062 : 1 - 10
  • [40] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
12345