Introduction to Formal Language Theory

  • Ratnesh Kumar
  • Vijay K. Garg
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 300)


In this chapter we review concepts from formal language theory which form a basis for the supervisory control theory initiated by Ramadge and Wonham, and subsequently extended by other researchers. A familiarity with basic set theoretic notions is assumed.


State Machine Turing Machine Regular Expression Finite State Machine Finite Index 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographic Remarks

  1. All the material covered in this chapter can be found in standard books on automata theory and formal languages such as Hopcroft-Ullman [HU79].Google Scholar

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Ratnesh Kumar
    • 1
  • Vijay K. Garg
    • 2
  1. 1.Department of Electrical EngineeringUniversity of KentuckyLexingtonUSA
  2. 2.Department of Electrical and Computer EngineeringUniversity of Texas at AustinAustinUSA

Personalised recommendations