ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS

被引：0
|
作者：
HIRSCH, HJ
机构：
来源：
ELECTRONISCHE DATENVERARBEITUNG | 1969年 / 11卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：251 / &
相关论文
共 50 条
  • [21] Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks
    Zhang, Kuize
    Zhang, Lijun
    Xie, Lihua
    Jiang, Zhe
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 4214 - 4219
  • [22] Formal description and analysis of a distributed location service for mobile ad hoc networks
    Glässer, U
    Gu, QP
    THEORETICAL COMPUTER SCIENCE, 2005, 336 (2-3) : 285 - 309
  • [23] SEQUENTIAL DESCRIPTION OF CONTROL AUTOMATA
    ZAKHAROV, VN
    ENGINEERING CYBERNETICS, 1972, 10 (02): : 290 - 293
  • [24] Description of words by cellular automata
    Cerny, A
    KUWAIT JOURNAL OF SCIENCE & ENGINEERING, 1997, 24 (02): : 199 - 215
  • [25] Enhancements in formal process description by using a formal method
    Xin, Cheng
    Grunau, Lukas
    Thron, Mario
    Riedl, Matthias
    AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
  • [26] A mobile app for teaching formal languages and automata
    Pereira, Carlos H.
    Terra, Ricardo
    COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2018, 26 (05) : 1742 - 1752
  • [27] AUTOMATA AND THE ARITHMETIC OF FORMAL POWER-SERIES
    FRANCE, MM
    VANDERPOORTEN, AJ
    ACTA ARITHMETICA, 1986, 46 (03) : 211 - 214
  • [28] Some formal tools for analyzing quantum automata
    Bertoni, A
    Mereghetti, C
    Palano, B
    THEORETICAL COMPUTER SCIENCE, 2006, 356 (1-2) : 14 - 25
  • [29] MULTIPLICITY AND INDETERMINACY IN THE DYNAMICS OF FORMAL INDICATIONAL AUTOMATA
    BERKOWITZ, GC
    GREENBERG, DR
    WHITE, CA
    CYBERNETICS AND SYSTEMS, 1991, 22 (03) : 237 - 263
  • [30] Some Formal Properties of Asynchronous Cellular Automata
    Manzoni, Luca
    CELLULAR AUTOMATA, 2010, 6350 : 419 - 428
12345