Advertisement

Cybernetics and Systems Analysis

, Volume 36, Issue 3, pp 359–365 | Cite as

Sufficient conditions of deterministic implementation of finite-state automata with retention of the numbers of their states

  • D. P. Shishkov
Cybernetics
  • 20 Downloads

Abstract

The following three conditions for nondeterministic finite-state automata are defined: input embeddability, output embeddability, and input decomposability. Automata satisfying these conditions are called nondeterministic automata with embeddability. A method for deterministic implementation of such automata with retention of the numbers of their states is proposed. These automata correspond to block-procedural high-level programming languages.

Keywords

finite-state automata or finite state machines (FSMs) deterministic automata nondeterministic automata nondeterministic automata with embeddability conditions of embeddability and decomposability of nondeterministic automata method for deterministic implementation of nondeterministic automata 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    B. A. Trakhtenbrot and Ya. M. Barzdin, Finite-State Automata (Behavior and Synthesis)[in Russian], Nauka, Moscow (1970).Google Scholar

Copyright information

© Kluwer Academic/Plenum Publishers 2000

Authors and Affiliations

  • D. P. Shishkov
    • 1
  1. 1.St. Kliment Okhridskii UniversitySofiaBulgaria

Personalised recommendations