Concepedia

Finite-state Machines

Finite-State Machine is a mathematical model of computation that consists of a finite number of states, transitions between those states, and actions defined by inputs, distinguished from other automata by its restriction to a limited set of discrete states and deterministic or nondeterministic state transitions.

5K

Publications

312.7K

Citations

6.4K

Authors

1.7K

Institutions

Publications per year

2017–2026

466

Variants

Finite State MachinesFinite-state MachineFsmFsms

Parents

Children

Publications

5K

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

, , +10

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

Logical Reversibility of Computation

C. H. Bennett · IBM Journal of Research and Development · 1973 · 3.7K citations

, , +13

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

1–5 of 5K

Authors

6.4K

  1. ÓH
    Óscar H. Ibarra

    University of California, Santa Barbara, United States

    36 publications · 1.5K citations

    21

    h-index

  2. RM
    Robert M. Hierons

    Brunel University of London, United Kingdom

    31 publications · 1.1K citations

    21

    h-index

  3. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    28 publications · 7.9K citations

    20

    h-index

  4. KM
    Kenichi Morita

    Hiroshima University, Japan

    21 publications · 994 citations

    19

    h-index

  5. CN
    Christoforos N. Hadjicostis

    University of Cyprus, Cyprus

    25 publications · 1.1K citations

    19

    h-index

1–5 of 6.4K

Institutions

1.7K

  1. University of California, Berkeley

    Berkeley, United States

    48 h-index

    220 publications

    21.5K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    45 h-index

    277 publications

    15.9K citations

  3. AT&T (United States)

    Bedminster, United States

    39 h-index

    96 publications

    13.3K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    35 h-index

    122 publications

    22.1K citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    31 h-index

    87 publications

    8.6K citations

  6. Université Paris Cité

    Paris, France

    30 h-index

    103 publications

    4K citations

  7. IBM (United States)

    Armonk, United States

    30 h-index

    52 publications

    8.2K citations

  8. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    29 h-index

    88 publications

    3.6K citations

1–8 of 1.7K

Venues

  1. Theoretical Computer Science

    302 publications · 22.9K citations

    61

    h-index

  2. IEEE Transactions on Automatic Control

    134 publications · 7.8K citations

    51

    h-index

  3. Journal of Computer and System Sciences

    98 publications · 6.6K citations

    43

    h-index

  4. Information and Computation

    98 publications · 8.3K citations

    35

    h-index

  5. Journal of the ACM

    JACM · 57 publications · 7.5K citations

    35

    h-index

1–5