NON DETERMINISTIC MACHINES AND THEIR GENERALIZATIONS

被引：0
|
作者：
BERTONI, A
MAURI, G
SABADINI, N
机构：
来源：
LECTURE NOTES IN PHYSICS | 1984年 / 196卷
关键词：
D O I：
暂无
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：86 / 97
页数：12
相关论文
共 50 条
  • [1] Generalizations of lattices via non-deterministic operators
    Martínez, J
    Gutiérrez, G
    de Guzmán, IP
    Cordero, P
    DISCRETE MATHEMATICS, 2005, 295 (1-3) : 107 - 141
  • [2] Distinguing Non-deterministic Timed Finite State Machines
    Gromov, Maxim
    El-Fakih, Khaled
    Shabaldina, Natalia
    Yevtushenko, Nina
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 137 - +
  • [3] Learning Abstracted Non-deterministic Finite State Machines
    Pferscher, Andrea
    Aichernig, Bernhard K.
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2020, 2020, 12543 : 52 - 69
  • [4] A Logic for Non-deterministic Parallel Abstract State Machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 334 - 354
  • [5] Generalizations of 1-deterministic regular languages
    Han, Yo-Sub
    Wood, Derick
    INFORMATION AND COMPUTATION, 2008, 206 (9-10) : 1117 - 1125
  • [6] Optical Designs for Non-deterministic Turing Machines (Extended Abstract)
    Dolev, Shlomi
    Nir, Yuval
    OPTICAL SUPERCOMPUTING, PROCEEDINGS, 2009, 5882 : 47 - 55
  • [7] SPEEDUPS OF DETERMINISTIC MACHINES BY SYNCHRONOUS PARALLEL MACHINES
    DYMOND, PW
    TOMPA, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 30 (02) : 149 - 161
  • [8] Effectiveness of non-evolutionary non-deterministic optimization methods in design of electrical machines
    Dabrowski, Miroslaw
    Rudenski, Andrzej
    Archives of Electrical Engineering, 2009, 58 (227-228): : 31 - 42
  • [9] Small deterministic Turing machines
    Kudlek, M
    THEORETICAL COMPUTER SCIENCE, 1996, 168 (02) : 241 - 255
  • [10] Small deterministic Turing machines
    Universitaet Hamburg, Hamburg, Germany
    Theor Comput Sci, 2 (241-255):
12345