Advertisement

Taxonomy and Theory of Behaviors

  • Timothy Kam
  • Tiziano Villa
  • Robert Brayton
  • Alberto Sangiovanni-Vincentelli
Chapter

Abstract

The goal of this chapter is to provide a unified notational framework for the book, and to introduce key elements of a theory for functional synthesis of FSMs. First we define some useful classes of finite state machines (FSMs) and finite automata (FAs), and investigate their inter-relationship. We will show that a non-deterministic FSM (NDFSM) can be used to specify a set of behaviors. Then we will describe how different behaviors can be explored within an NDFSM specification. These concepts are central to exact algorithms for state minimization for FSMs. At the end of the chapter, the correctness of our state minimization algorithms will be proved for a class of FSMs called pseudo non-deterministic FSMs.

Keywords

Input Sequence State Minimization Exact Algorithm Finite State Machine Finite Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Timothy Kam
    • 1
  • Tiziano Villa
    • 2
  • Robert Brayton
    • 2
  • Alberto Sangiovanni-Vincentelli
    • 2
  1. 1.Intel CorporationUSA
  2. 2.University of CaliforniaBerkeleyUSA

Personalised recommendations