A DECISION PROCEDURE FOR COMPUTATIONS OF FINITE AUTOMATA

被引：2
|
作者：
FRIEDMAN, J
机构：
来源：
JOURNAL OF THE ACM | 1962年 / 9卷 / 03期
关键词：
D O I：
10.1145/321127.321129
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：315 / &
相关论文
共 50 条
  • [1] A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
    D'Antoni, Loris
    Kincaid, Zachary
    Wang, Fang
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 79 - 99
  • [2] FINITE AUTOMATA AND THEIR DECISION PROBLEMS
    RABIN, MO
    SCOTT, D
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1959, 3 (02) : 114 - 125
  • [3] Superposition as a Decision Procedure for Timed Automata
    Arnaud Fietzke
    Christoph Weidenbach
    Mathematics in Computer Science, 2012, 6 (4) : 409 - 425
  • [4] Superposition as a Decision Procedure for Timed Automata
    Fietzke, Arnaud
    Weidenbach, Christoph
    MATHEMATICS IN COMPUTER SCIENCE, 2012, 6 (04) : 409 - 425
  • [5] A Finite Element Procedure for Dynamic Micromagnetic Computations
    Bottauscio, Oriano
    Chiampi, Mario
    Manzin, Alessandra
    IEEE TRANSACTIONS ON MAGNETICS, 2008, 44 (11) : 3149 - 3152
  • [6] Automata Terms in a Lazy WSkS Decision Procedure
    Vojtěch Havlena
    Lukáš Holík
    Ondřej Lengál
    Tomáš Vojnar
    Journal of Automated Reasoning, 2021, 65 : 971 - 999
  • [7] A Decision Procedure for CTL* Based on Tableaux and Automata
    Friedmann, Oliver
    Latte, Markus
    Lange, Martin
    AUTOMATED REASONING, 2010, 6173 : 331 - +
  • [8] Automata Terms in a Lazy WSkS Decision Procedure
    Havlena, Vojtech
    Holik, Lukas
    Lengal, Ondrej
    Vojnar, Tomas
    JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 971 - 999
  • [9] Automata Terms in a Lazy WSkS Decision Procedure
    Havlena, Vojtech
    Holik, Lukas
    Lengal, Ondrej
    Vojnar, Tomas
    AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 300 - 318
  • [10] Finite and Infinite Computations and a Classification of Two-Dimensional Cellular Automata Using Infinite Computations
    D'Alotto, Louis
    PARALLEL COMPUTING TECHNOLOGIES (PACT 2017), 2017, 10421 : 183 - 195
12345