Finite Automata and Their Decision Problems

@article{Rabin1959FiniteAA,
  title={Finite Automata and Their Decision Problems},
  author={M. Rabin and D. Scott},
  journal={IBM J. Res. Dev.},
  year={1959},
  volume={3},
  pages={114-125}
}
  • M. Rabin, D. Scott
  • Published 1959
  • Mathematics, Computer Science
  • IBM J. Res. Dev.
  • Finite automata are considered in this paper as instruments for classifying finite tapes. [...] Key Method Various generalizations of the notion of an automaton are introduced and their relation to the classical automata is determined. Some decision problems concerning automata are shown to be solvable by effective algorithms; others turn out to be unsolvable by algorithms.Expand Abstract
    1,761 Citations

    Topics from this paper

    On Finite Automata with a Time-Variant Structure
    • A. Salomaa
    • Mathematics, Computer Science
    • Inf. Control.
    • 1968
    • 26
    Simple Counter Machines and Number-Theoretic Problems
    • 21
    Theories of Automata on omega-Tapes: A Simplified Approach
    • Y. Choueka
    • Mathematics, Computer Science
    • J. Comput. Syst. Sci.
    • 1974
    • 212
    • PDF
    Subset construction complexity for homogeneous automata, position automata and ZPC-structures
    • 17
    The Equivalence Problem for n-Tape Finite Automata with Simple Cycles
    • PDF
    Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes
    • Y. Choueka
    • Mathematics, Computer Science
    • J. Comput. Syst. Sci.
    • 1978
    • 55
    Descriptional Complexity of Finite Automata: Concepts and Open Problems
    • J. Hromkovic
    • Mathematics, Computer Science
    • J. Autom. Lang. Comb.
    • 2002
    • 44
    Finite Automata with Multiplication
    • 39
    Equivalence of Infinite Behavior of Finite Automata
    • H. Alaiwan
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1984
    • 3

    References

    SHOWING 1-5 OF 5 REFERENCES
    The Reduction of Two-Way Automata to One-Way Automata
    • 279
    Representation of Events in Nerve Nets and Finite Automata
    • 1,661
    Linear automaton transformations
    • 473
    • PDF
    A variant of a recursively unsolvable problem
    • 551
    • PDF
    Gedanken-Experiments on Sequential Machines
    • 1,394