Finite Automata and Their Decision Problems

@article{Rabin1959FiniteAA,
  title={Finite Automata and Their Decision Problems},
  author={Michael O. Rabin and Dana S. Scott},
  journal={IBM J. Res. Dev.},
  year={1959},
  volume={3},
  pages={114-125}
}
  • Michael O. Rabin, Dana S. Scott
  • Published in IBM J. Res. Dev. 1959
  • Computer Science
    • 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
    View PDF
    1,011 Citations
    78 Highly Influenced Papers
    391 Cite Background
    194 Cite Methods
    11 Cite Results

    Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 1,011 CITATIONS

    A Unified Framework for Frequent Sequence Mining with Subsequence Constraints

    VIEW 18 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    A pattern-driven corpus to predictive analytics in mitigating SQL injection attack

    VIEW 16 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Regular Language Representations in the Constructive Type Theory of Coq

    VIEW 7 EXCERPTS
    CITES BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    Two-Way Automata in Coq Christian Doczkal Gert Smolka

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Regular-expression derivatives re-examined

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Monoids and the State Complexity of the Operation root(L)

    VIEW 5 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Modelization of deterministic rational relations

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration

    VIEW 5 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Photonic Realization of a Quantum Finite Automaton

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Uma Ferramenta para Ensinar Introdução à Teoria da Computação

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1957
    2019

    CITATION STATISTICS

    • 78 Highly Influenced Citations

    • Averaged 56 Citations per year from 2017 through 2019